Какое максимальное количество неподвижных точек может иметь функция?

Какая функция может быть использована для удаления из списка всех элементов, делящихся на 3?

Как определяется функция в λ-исчислении?

Какая функция, определенная на домене D, обязательно имеет неподвижную точку?

Какой тип имеет функция filter?

Какой тип имеет функция fold_left?

При введении списков, как определяется функция отделения первого элемента hd?

Какой тип имеет функция map?

Какой тип имеет функция apply в Eval/Apply-интерпретаторе?

Какое из приведенных ниже преобразований является примером бета-редукции?

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