Haskell FlatMap

Question

我是一个对Haskell感兴趣的初学者,我一直在努力实现flatmap(>> =)以更好地理解它.目前我有

flatmap :: (t -> a) -> [t] -> [a]  
flatmap _ [] = []  
flatmap f (x:xs) = f x : flatmap f xs  

它实现了"地图"部分而不是"平面"部分.
我做的大多数修改都会导致令人沮丧并且相当无信息

Occurs check: cannot construct the infinite type: a = [a]  
    When generalising the type(s) for `flatmap' 

错误.

我错过了什么？

Answer 1

当您指定的类型签名与函数的实际类型不匹配时,会发生类似这样的错误.既然你没有显示导致错误的代码,我必须猜测,但我认为你把它改成了这样的东西:

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

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

类型检查看到你上的效果,请使用++ f x和flatmap f xs.由于++在两个相同类型的列表上工作,类型检查器现在知道两个表达式都必须计算到相同类型的列表.现在typechecker也知道flatmap f xs会返回一个类型的结果[a],所以f x也必须有类型[a].但是在类型签名中它表示f具有类型t -> a,因此f x必须具有类型a.这导致类型检查器得出结论,[a] = a这是一个矛盾并导致您看到的错误消息.

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