Какой порядок редукции соответствует передаче параметров по значению?

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

Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?

Какой будет следующий шаг при аппликативном порядке редукции выражения (λx.x+x)(2+3)?

При нормальном порядке редукции:

При аппликативном порядке редукции:

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

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

Какая операция понижает порядок функции?

Какая операция повышает порядок функции?

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