私は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)'
私がやりたいことは、リストから要素を連結して、別の関数で定義された無名関数内で別のリストを形成できるようにすることです (この場合、「テスト」で定義されています)。
ありがとう。