[英]Haskell Error while using foldr to find sum.
我正在寻找斐波那契数列的总和。 这就是我坚持的地方:
fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
main = do putStrLn "Enter a number:"
num <- readLn
foldr (+) 0 (take num fibs)
错误是:
No instance for (Num (IO t0))
arising from the literal `0'
Possible fix: add an instance declaration for (Num (IO t0))
In the second argument of `foldr', namely `0'
In the expression: foldr (+) 0 (take num fibs)
In the expression:
do { putStrLn "Enter a number:";
num <- readLn;
foldr (+) 0 (take num fibs) }
我到底哪里出问题了?
您可能想print
结果:
main = do putStrLn "Enter a number:"
num <- readLn
print $ foldr (+) 0 (take num fibs)
该错误消息的原因是, do
块中的每个语句必须属于同一monad。 在main
的情况下,这是IO
。 但是,这里的foldr
结果是一个数字,而不是IO
操作。
该错误消息令人困惑,因为GHC的所有智慧得出的结论是, IO
操作必须是数字,这当然是胡说八道。
当您遇到令人困惑的类型错误时,在某些涉及的表达式中添加一些类型注释通常很有用,向GHC解释您期望的类型。 这通常会使您从GHC返回更好的错误消息。
例如,如果在foldr
行的末尾添加:: Integer
,则会得到以下消息:
Couldn't match expected type `IO b0' with actual type `Integer'
In a stmt of a 'do' block: foldr (+) 0 (take num fibs) :: Integer
In the expression:
do { putStrLn "Enter a number:";
num <- readLn;
foldr (+) 0 (take num fibs) :: Integer }
In an equation for `main':
main
= do { putStrLn "Enter a number:";
num <- readLn;
foldr (+) 0 (take num fibs) :: Integer }
在这里,发现问题要容易得多。 GHC期待的是IO b0
类型的语句,而您给了它一个Integer
。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.