Int -> Integer
fib f 0 = 1
fib f 1 = 1
fib f n = f (n - 1) + f (n - 2)
memoize :: (Int -> a) -> (Int -> a)
memoize f = (map f [0..] !!)
fibMemo :: Int -> Integer
fibMemo = fix (memoize . fib)
Без фикса наверное проще понять будет. А чё конкретно неясно?
А этот memorize точно что-то сделает вообще?
import Data.Time fix f = let x = f x in x fib :: (Int -> Integer) -> Int -> Integer fib f 0 = 1 fib f 1 = 1 fib f n = f (n - 1) + f (n - 2) memoize :: (Int -> a) -> (Int -> a) memoize f = (map f [0..] !!) fibMemo :: Int -> Integer fibMemo = fix (memoize . fib) main = do getCurrentTime >>= print print $ length . show $ fibMemo 10000 getCurrentTime >>= print print $ length . show $ fibMemo 10000 getCurrentTime >>= print 2021-07-30 17:07:16.754744748 UTC 2090 2021-07-30 17:07:17.235585326 UTC 2090 2021-07-30 17:07:17.235746293 UTC
Почему это работает
Обсуждают сегодня