- 539 名前：デフォルトの名無しさん mailto:sage [2020/10/31(土) 13:17:41.17 ID:cEs7BAmA.net]
- でもよくよく考えたらHaskellのデータ型って「展開できる表現がひとつもないデータ型」もありうるんだな
無限の木になる
data InfiniteSequence = IS {car :: Int, cdr :: InfiniteSequence}
arithSeq a d = IS a $ arithSeq (a+d) d
term 0 (IS x y) = x
term n (IS x y) = term (n-1) y
main = print $ term 10 $ arithSeq 5 3
----
53
