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

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

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

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

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

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

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

Алгоритм вывода типов W содержит в себе следующие основные этапы:

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

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

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