В строгом функциональном программировании и исчислении лямбда функции (лямбда-выражения) не имеют состояния и могут быть разрешены только к аргументам включенных функций. Это исключает обычное определение рекурсивной функции, в которой функция связана с состоянием переменной, и состояние этой переменной используется в теле функции.
Комбинатор Y сам по себе является функцией без состояния, которая при применении к другой функции без сохранения возвращает рекурсивную версию функции. Комбинатор Y является простейшим из класса таких функций, называемых комбинаторами с фиксированной запятой .
Задача:
Define the stateless Y combinator function and use it to compute <a href="https://en.wikipedia.org/wiki/Factorial" title="wp: factorial">factorial</a>. Функция factorial(N) уже предоставлена вам. См. Также Джим Вейрих: Приключения в функциональном программировании .
Define the stateless Y combinator function and use it to compute factorial. The factorial(N) function is already given to you.
See also: