Haskell平面图

flatmap _ [] = []  
flatmap f (x:xs) = f x ++ flatmap f xs

事实上,这是完全正确的。但是,如果忘记更改类型签名,则会发生以下情况:

类型检查器看到您对 f x 和 flatmap f xs . 自 ++ 在两个相同类型的列表上工作时,类型检查器现在知道两个表达式都必须计算为相同类型的列表。现在打字员也知道了 平面图f xs 将返回类型为的结果 [a] ,所以 也要有类型 [答] . 但是在类型签名中,它表示f具有类型 t -> a f x公司 a . 这导致类型检查器得出结论 [a] = a 这是一个矛盾,并导致您看到的错误消息。

如果将类型签名更改为 flatmap :: (t -> [a]) -> [t] -> [a] (或将其移除),它将起作用。