我是 Haskell 的新手,似乎找不到无法编译的原因:
test = foldr (\x y -> y : x) [1]
我并没有试图为虚拟函数“测试”实现任何功能。
只是我不断收到此错误代码:
Occurs check: cannot construct the infinite type: a0 = [a0]
In the first argument of `(:)', namely `y'
In the expression: y : x
In the first argument of `foldr', namely `(\ x y -> y : x)'
我要做的就是能够连接列表中的元素,以在另一个函数中定义的匿名函数中形成另一个列表(在这种情况下,在“测试”中定义。)
谢谢。