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

Question

можно определить анонимную функцию с лямбда-выражения:

-- Contrived example 
> apply f x = f x 
> apply (\n -> n + 1) 3 
4 

но можно определить анонимный рекурсивный функцию?

> apply (\n -> n * ??? (n - 1)) 3 -- compute a factorial 
6 

Answer 1

Импорт Data.Function и использовать функцию fix для вычисления неподвижной точки , не -recursive функции, которая принимает функцию, чтобы применить рекурсивно в качестве аргумента

> import Data.Function 
> :t fix 
fix :: (a -> a) -> a 
> apply (fix $ \f n -> if n == 0 then 1 else n * f (n - 1)) 3 
6