Guest
Функциональное программирование в МФТИ. Темы: реализация комбинатора неподвижной точки с помощью рекурсивных типов; ввод и вывод; функция main; “чистые“ вычисления и “действия“; эмуляция императивного кода — блок do и операторы связывания (bind).
