Тема: комбинаторы

Статья

Рекурсия без имён: комбинатор неподвижной точки Y

Как написать факториал в языке, где у функций нет имён: приём открытой рекурсии, вывод комбинатора Y с полной раскруткой редукций, его боевой вариант Z для JavaScript и …

#лямбда-исчисление#рекурсия#комбинаторы

Статья

Комбинаторная логика: S, K, I и программирование без переменных

Что останется от лямбда-исчисления, если выбросить переменные: три комбинатора вместо всего языка, алгоритм механического перевода любой лямбды в S и K, честная цена …

#лямбда-исчисление#комбинаторы#функциональное программирование

Статья

Кодирование Чёрча: истина, ложь и условия из одних функций

В лямбда-исчислении нет true, false и if — и они не нужны: булево значение оказывается функцией выбора из двух аргументов, а весь набор логических операций собирается из …

#лямбда-исчисление#функциональное программирование#логика