ryamada https://blog.hatena.ne.jp/ryamada/ ryamadaのコンピュータ・数学メモ https://ryamada.hatenadiary.jp/ Haskell ぱらぱらめくるシリーズ ones = 1 : ones -- [1,1,1,1,1,...] nats = 0: map (+1) nats -- [0,1,2,...] nats !! 10^100-2 -- 999999999999999999999...98 odds = 1 : map (+2) odds iterate :: (a -> a) -> a -> [a] iterage f x = x : iterate f (f x) theOnes = iterate id 1 theNats = iterate (+1) 0 theOdds = iterate (+2) 1 theNats1 = 0 : … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fryamada.hatenadiary.jp%2Fentry%2F20150219%2F1424334133" title="10 Corecursion ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』 - ryamadaのコンピュータ・数学メモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-02-19 17:22:13 rich https://ryamada.hatenadiary.jp/entry/20150219/1424334133 1.0 100%