如何在递归函数中使用 Control.Monad.Cont?
How to use Control.Monad.Cont in a recursive function?
我正在为 提供答案,然后我想到了使用 Cont
monad 的想法。我不知道 Haskell 足以解释为什么这个程序不起作用
import Control.Monad.Cont
fib1 n = runCont (slow n) id
where
slow 0 = return 0
slow 1 = return 1
slow n = do
a <- slow (n - 1)
b <- slow (n - 2)
return a + b
main = do
putStrLn $ show $ fib1 10
错误-
main.hs:10:18: error:
• Occurs check: cannot construct the infinite type: a2 ~ m a2
• In the second argument of ‘(+)’, namely ‘b’
In a stmt of a 'do' block: return a + b
In the expression:
do a <- slow (n - 1)
b <- slow (n - 2)
return a + b
• Relevant bindings include
b :: a2 (bound at main.hs:9:7)
a :: a2 (bound at main.hs:8:7)
slow :: a1 -> m a2 (bound at main.hs:5:5)
|
10 | return a + b
|
但这对我来说没有意义。为什么我有 a2
和 m a2
?我希望 a
和 b
是同一类型。
这让我很烦,因为同一个程序在 JavaScript 中工作得很好。也许 Haskell 需要类型提示?
const runCont = m => k =>
m (k)
const _return = x =>
k => k (x)
const slow = n =>
n < 2
? _return (n)
: slow (n - 1) (a =>
slow (n - 2) (b =>
_return (a + b)))
const fib = n =>
runCont (slow(n)) (console.log)
fib (10) // 55
return a + b
解析为 (return a) + b
,而您想要 return (a + b)
。请记住,函数应用程序的绑定比任何中缀运算符都要紧密。
(一般写return $ a + b
也是一样的)
我正在为 Cont
monad 的想法。我不知道 Haskell 足以解释为什么这个程序不起作用
import Control.Monad.Cont
fib1 n = runCont (slow n) id
where
slow 0 = return 0
slow 1 = return 1
slow n = do
a <- slow (n - 1)
b <- slow (n - 2)
return a + b
main = do
putStrLn $ show $ fib1 10
错误-
main.hs:10:18: error:
• Occurs check: cannot construct the infinite type: a2 ~ m a2
• In the second argument of ‘(+)’, namely ‘b’
In a stmt of a 'do' block: return a + b
In the expression:
do a <- slow (n - 1)
b <- slow (n - 2)
return a + b
• Relevant bindings include
b :: a2 (bound at main.hs:9:7)
a :: a2 (bound at main.hs:8:7)
slow :: a1 -> m a2 (bound at main.hs:5:5)
|
10 | return a + b
|
但这对我来说没有意义。为什么我有 a2
和 m a2
?我希望 a
和 b
是同一类型。
这让我很烦,因为同一个程序在 JavaScript 中工作得很好。也许 Haskell 需要类型提示?
const runCont = m => k =>
m (k)
const _return = x =>
k => k (x)
const slow = n =>
n < 2
? _return (n)
: slow (n - 1) (a =>
slow (n - 2) (b =>
_return (a + b)))
const fib = n =>
runCont (slow(n)) (console.log)
fib (10) // 55
return a + b
解析为 (return a) + b
,而您想要 return (a + b)
。请记住,函数应用程序的绑定比任何中缀运算符都要紧密。
(一般写return $ a + b
也是一样的)