私はワンライナーHaskellのフィボナッチを理解していない

Question

この1：

fib = 1 : 1 : [a + b | (a, b) <- zip fib (tail fib)] 

私が最初fibであることを理解し、[1、1、..]

（..リストの=残り）ので、ここでfib = [1, 1, ..]

とtail fib = [1, ..]はとても(a, b)あるa + bに変換(1, 1)です210今リストは以下のようになります。

fib = 1 : 1 : 2 : [a + b | (a, b) <- zip fib (tail fib)] 

とここで私は混乱：

今私はfibが[1, 1, 2, ..]とtail fibだと思うが[1, 2, ..] であると私はリストをzipた場合、私は再びそれを取得する必要がありますa + bそれらはまだ2つのリストの最初の要素なので、1 + 1です。 どこが間違っていますか？

（私は私は知っているが、私は理由を理解することはできませんし、何がここで起こっている）

Answer 1

あなたは

fib = 1 : 1 : [a + b | (a, b) <- zip fib (tail fib)] 

は、次の要素が2であることを生成することを正しいしかし、fib = 1 : 1 : 2 : [a + b | (a, b) <- zip fib (tail fib)]があります次のステップでは正確ではありません。このステップでzip fib (tail fib)を評価するので、それはそのままではなくその定義から置き換えなければなりません。より正確な式のようなものになります。

fib = 1 : 1 : 2 : [a + b | (a, b) <- zip (tail fib) (tail (tail fib)] 

をzipの評価を考えるための一つの方法は、各アプリケーションが与えられたリストのそれぞれの次の2つのヘッド要素を消費することです。この場合、次の反復は(a, b) = (1, 2)を返します。これは、それぞれfibと(tail fib)の次の数字のペアであるためです。