{"description":"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 : \u2026","author_url":"https://blog.hatena.ne.jp/ryamada/","height":"190","categories":["Haskell","\u3071\u3089\u3071\u3089\u3081\u304f\u308b\u30b7\u30ea\u30fc\u30ba"],"blog_title":"ryamada\u306e\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u6570\u5b66\u30e1\u30e2","provider_name":"Hatena Blog","published":"2015-02-19 17:22:13","image_url":null,"title":"10 Corecursion \u3071\u3089\u3071\u3089\u3081\u304f\u308b\u300eThe Haskell Road to Logic, Maths and Programming\u300f","provider_url":"https://hatena.blog","type":"rich","author_name":"ryamada","version":"1.0","url":"https://ryamada.hatenadiary.jp/entry/20150219/1424334133","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fryamada.hatenadiary.jp%2Fentry%2F20150219%2F1424334133\" title=\"10 Corecursion \u3071\u3089\u3071\u3089\u3081\u304f\u308b\u300eThe Haskell Road to Logic, Maths and Programming\u300f - ryamada\u306e\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u6570\u5b66\u30e1\u30e2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://ryamada.hatenadiary.jp/","width":"100%"}