無限リストを含むリストの型?
コンテンツ
Haskellではリストは以下の3つに分けられる
有限リスト [1,2,3,4] , [1,20,30]
無限リスト [1..]
そして最後が擬リスト
例えば
_|_,1:2:_|_, 10:20:30:40:50:_|_
要するに、末尾がbotになっている。
上の二つのリストとの関係は
擬リストの極限が無限リスト
となっている。もっと面白い話もあるがそれはまた今度。
作成者 Toru Mano
最終更新時刻 2023-01-01 (c70d5a1)