Исходное сообщение
"Выпуск языка программирования Python 3.10" Отправлено n00by, 18-Окт-21 14:45
>> Стрелки Чёрча > стреклу Пирса знаю, Чёрча - нет. Да, спасибо. Правильно было бы написать Лямбда Чёрча. "Стрелка" это жаргон из-за распространённого синтаксиса: " Теперь посмотрим на константную функцию: (λ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 поскольку писал о НАМ, получилось что получилось.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> Стрелки Чёрча >> стреклу Пирса знаю, Чёрча - нет. > Да, спасибо. Правильно было бы написать Лямбда Чёрча. "Стрелка" это жаргон из-за > распространённого синтаксиса: > " > Теперь посмотрим на константную функцию: > (λ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 > поскольку писал о НАМ, получилось что получилось.
	Введите код, изображенный на картинке: