>> Стрелки Чёрча
> стреклу Пирса знаю, Чёрча - нет.

Да, спасибо. Правильно было бы написать Лямбда Чёрча. "Стрелка" это жаргон из-за распространённого синтаксиса:

"
Теперь посмотрим на константную функцию:

(λx.(λy.x))

Константная функция является функцией двух аргументов, поэтому наш терм принимает переменную x и возвращает другой терм функцию (λy.x) . Эта функция принимает y , а возвращает x. В Haskell мы бы написали это так:

\x -> (\y -> x)

Точка сменилась на стрелку, а лямбда потеряла одну ножку.
"
https://anton-k.github.io/ru-haskell-book/book/14.html

"
В: с каких пор js - чисто функциональный язык? )
О: С тех пор как ввели => Это стрелка чёрча со всеми вытекающими следствиями
"
https://telegrammy.net/group/nodejs_ru/page1104.htm#110357

Стрелками так же обозначается марковская подстановка. https://gsom.spbu.ru/images/cms/data/teoriya_algoritmov.pdf
поскольку писал о НАМ, получилось что получилось.