Статья
Рекурсия без имён: комбинатор неподвижной точки Y
Как написать факториал в языке, где у функций нет имён: приём открытой рекурсии, вывод комбинатора Y с полной раскруткой редукций, его боевой вариант Z для JavaScript и …
База знаний
Тема: Комбинаторы
2 материалов в этой теме.
Материалы
2 на странице
Статья
Кодирование Чёрча: истина, ложь и условия из одних функций
В лямбда-исчислении нет true, false и if — и они не нужны: булево значение оказывается функцией выбора из двух аргументов, а весь набор логических операций собирается из …
По этому запросу ничего не найдено.