Какие комбинаторы образуют наименьший базис?

Какие основные операции в чистом λ-исчислении?

Какие есть основные модели вычислений?

Какие языки программирования являются преимущественно функциональными?

Какие стеки включает в себя SECD-машина?

Какие базовые операции чистого лямбда-исчисления?

Какие операторы традиционно отсутствуют в функциональных языках?

Какие условия являются необходимыми для хвостовой рекурсии?

Какие основные способы борьбы со сложностью используются в функциональных программах?

Какие недостатки "классической" нотации для определения функции f(x)=2*x+1?

Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 →​ 0?