В чем преимущества лямбда-исчисления как модели вычислений?
Какие основные операции в чистом λ-исчислении?
Какие основные способы борьбы со сложностью используются в функциональных программах?
Какая модель вычислений служит формальной основой функционального программирования?
Чему равен результат выражения nondet { return 10; } для монады недетерминированных вычислений?
Алгоритм вывода типов W содержит в себе следующие основные этапы:
Какие комбинаторы образуют наименьший базис?
Какие языки программирования являются преимущественно функциональными?
Какие стеки включает в себя SECD-машина?
Какие базовые операции чистого лямбда-исчисления?