haskell - 誰かが次の Haskell 式を説明してくれませんか

Question

f :: Integer -> Integer -> [Integer]
f i n = n : f (i+2) (n+i)

誰かが私にそれが何をするのか説明してもらえますか? [0,1,4,9,16 ..] が返されることはわかっていますが、その方法とn : f意味が​​わかりません

Answer 1

:は「cons」演算子であり、先頭が演算子の左側の値で末尾が演算子の右側の値である新しいリストを作成します。これ0 : [1, 2, 3]がリスト[0, 1, 2, 3]です。

f 1 0次のように評価して、この関数の動作を確認します。

f 1 0 = 0 : f 3 1

ieは、先頭が で構成され、末尾が によって返されるリストf 1 0を作成した結果です。同様に、次のとおりです。0f 3 1f 3 1

f 3 1 = 1 : f 5 4

ieは、先頭が で構成され、末尾が によって返されるリストf 3 1を作成した結果です。1f 5 4

したがって、関数は再帰的にリストを作成します。さらに、(終了条件がないため) 無限に末尾再帰的であるため、無限に長いリストになります。

最初の行についてはf :: Integer -> Integer -> [Integer]、これはが 2 つの整数 ( ) を取り、整数のリスト ( ) を返すf関数であることを示しています。厳密には、整数 ( ) を取り、整数を取り、関数のカリー化の結果として整数のリスト ( ) を返す別の関数を返します。これは、Haskell やその他の関数型プログラミング言語を深く理解するにつれて慣れてくる概念です。Integer -> Integer[Integer]fIntegerInteger -> [Integer]

Answer 2

質問のコードは、型エラーと構文エラーが含まれているため、何もしません。

f :: Integer -> Integer --> [Integer]

強調表示からわかるように--、Haskell では がコメントを開始するため、最後のビットはコメントです。結果として、 の宣言された型はfisInteger -> Integerであり、これは間違っています。この変更を に修正する-->には、->.

f i n = n : f (i+2) (n+i]

ここではオープニング(とクロージングがあり]ます。明らかにそれは間違っています。この変更を に修正する(n+i]には、(n+i).

これで、修正されたコードは次のようになります。

:リスト型のコンストラクタです。を先頭とし、末尾とx : xsするリストです。として解析されます（あなたが信じているようではありません）。したがって、先頭がで末尾が の結果であるリストが作成されます。xxsn : f (i+2) (n+i)n : (f (i+2) (n+i))(n : f) (i+2) (n+1)nf (i+2) (n+1)