ハスケル関数のプロセス

Question

integerList = [1] ++ integerList 

(head (tail integerList)) 

私はこのコードを実行しました。結果は1であり、無限の再帰であることがわかりました。 私はhaskellがこれらの関数をどのように計算するかを理解しようとしています。誰かがプロセスを書き留めることができます。私はそれを視覚化したいと思います。ありがとう！

Answer 1

headは、リストの最初の要素を返します。この場合、リストtail integerListの最初の要素を返します。 tailは最初の要素のない元のリストを返します。元のリストはintegerListで、これは[1] ++ integerListにバインドされています。 ++演算子は2つのリストを連結するため、結果のリストは1 : integerListです。 tailをこのリストに適用するとintegerListとなるので、tail integerListは単にintegerListとなります。

先頭へ戻るtail integerListをintegerListと置き換えてください（これは評価されているため）head integerListを取得してください。お知らせ：integerListは1 : integerListと評価されます。 headを適用すると、1が得られます。

Answer 2

のは、定義を拡張してみましょう：

    __________ 
       /  \ 
       |   | 
       V   | 
       +---+---+---+ | 
integerList = | : | o | o | | 
       +---+-|-+-|-+ | 
        | \___/ 
        V 
        +---+ 
        | 1 | 
        +---+ 

あなたが書かれていたかのように：

integerList = [1] ++ integerList 
integerList = foldr (:) integerList [1] -- inline (++) 
integerList = 1 : integerList   -- inline foldr 

今ではintegerListはものの無限のストリームを表す、循環的にリンクされたリストであることは明らかです次のC：

tailintegerListはintegerListであり、headは1である。 take、dropWhile、foldrのような多くの標準的なプレリュード関数を使用して、無限のストリームを操作することができます。たとえば、take 5 integerListは[1, 1, 1, 1, 1]を生成します。 repeat関数：integerList = repeat 1を使用してintegerListを定義することもできます。