Статья
Числа Чёрча: арифметика без чисел
Как из одних только функций получаются натуральные числа, сложение, умножение, степень и коварный предшественник — с полной раскруткой каждой редукции и рабочим кодом на …
База знаний
Тема: Кодирование Чёрча
2 материалов в этой теме.
Материалы
2 на странице
Статья
Пары, списки и структуры данных из одних лямбд
Как построить кортеж, запись и связный список, когда в языке есть только функции: пара Чёрча, два способа кодировать списки, полные раскрутки редукций и рабочий код на …
По этому запросу ничего не найдено.