無限リストを含むリストの型?

Haskellではリストは以下の3つに分けられる

有限リスト [1,2,3,4] , [1,20,30]

無限リスト [1..]

そして最後が擬リスト

例えば

_|_,1:2:_|_, 10:20:30:40:50:_|_

要するに、末尾がbotになっている。

上の二つのリストとの関係は

擬リストの極限が無限リスト

となっている。もっと面白い話もあるがそれはまた今度。

More Reading
Newer// Problem 3
Older// Problem 4