Я знаю, что это может быть не простой подход, но я узнал о методике, называемой "fix" , из функциональных языков. Функция fix
от Haskell более широко известна как Y комбинатор , который является одним из самых известных комбинаторов с фиксированной точкой .
Фиксированная точка - это значение, которое не изменяется функцией: фиксированная точка функции f - это любая x такая, что x = f (x). Комбинатор с фиксированной точкой y - это функция, которая возвращает фиксированную точку для любой функции f. Поскольку y (f) является неподвижной точкой f, мы имеем y (f) = f (y (f)).
По сути, комбинатор Y создает новую функцию, которая принимает все аргументы оригинала, плюс дополнительный аргумент, который является рекурсивной функцией. Как это работает, более очевидно, используя каррированную нотацию. Вместо записи аргументов в скобках (f(x,y,...)
), напишите их после функции: f x y ...
. Y комбинатор определяется как Y f = f (Y f)
; или с одним аргументом для рекурсивной функции, Y f x = f (Y f) x
.
Поскольку PHP не работает автоматически curry , то сделать fix
работу немного, но я думаю, что это интересно.
function fix( $func )
{
return function() use ( $func )
{
$args = func_get_args();
array_unshift( $args, fix($func) );
return call_user_func_array( $func, $args );
};
}
$factorial = function( $func, $n ) {
if ( $n == 1 ) return 1;
return $func( $n - 1 ) * $n;
};
$factorial = fix( $factorial );
print $factorial( 5 );
Обратите внимание, что это почти то же самое, что и простые решения по закрытию, опубликованные другими, но функция fix
создает закрытие для вас. Комбинаторы с фиксированной точкой немного сложнее, чем использование замыкания, но они более общие и имеют другие применения. Хотя метод замыкания больше подходит для PHP (который не очень функциональный язык), исходная проблема - скорее упражнение, чем для производства, поэтому комбинатор Y - жизнеспособный подход.