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

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

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

В динамических языках программирования:

Какой принцип построения функциональных программ?

Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?

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

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

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

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

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