Haskell迭代斐波那契实现报错：No instance for `Num (IO ())'

错误含义 #

这个错误的核心是：Haskell编译器找不到Num (IO ())的类型实例——简单说就是，它误以为你要把IO ()类型的值当数值用，但IO ()是执行打印这类IO操作的返回类型，根本不是数值类型，自然没有实现数值相关的接口，所以报错。

错误原因 #

你用foldl来遍历列表执行print操作，但foldl要求初始值和每次折叠的返回值类型必须完全一致。你的折叠函数\_ n -> print $ fib n返回的是IO ()类型，可你给的初始值是数值0，这就逼编译器试图把0转换成IO ()类型，而IO ()并没有实现Num类型类，于是触发了这个错误。

修复方案 #

有两种简单的修复方式：

方式一：用mapM_替代foldl（推荐） #

mapM_是Haskell里专门用来遍历列表、对每个元素执行IO操作的工具，完全匹配你的需求：

fib n = i where (i, _) = foldl (\(i, j) _ -> (j, i + j)) (0, 1) [1..n] 

main = do
    mapM_ (\n -> print $ fib n) [0, 5, 10]

方式二：调整foldl的初始值与折叠逻辑 #

如果一定要用foldl，需要把初始值改成IO ()类型的空操作return ()，同时用>>来串联IO操作：

fib n = i where (i, _) = foldl (\(i, j) _ -> (j, i + j)) (0, 1) [1..n] 

main = do
    foldl (\acc n -> acc >> print (fib n)) (return ()) [0, 5, 10]

内容的提问来源于stack exchange，提问作者Miiao