{"type":"rich","provider_name":"Hatena Blog","published":"2012-05-09 22:34:52","description":"http://www.amazon.co.jp/dp/0521692695 p.88-94 \u96fb\u5353\u3092\u4f5c\u308b\u3068\u3044\u3046\u3068\u3053\u308d\u3002\u524d\u306e\u7ae0\u3067(>>=)\u3092\u7c98\u3063\u3066\u8003\u3048\u305f\u304a\u304b\u3052\u3067\u3001\u4eca\u65e5\u306e\u90e8\u5206\u306f\u304b\u306a\u308a\u3059\u3063\u304d\u308a\u8aad\u3081\u305f\u3002windows\u3067\u3084\u3063\u3066\u305f\u3093\u3060\u3051\u3069\u3001\u6025\u907dlinux\u306bPC\u3092\u5207\u308a\u66ff\u3048\u3066\u3001\u4f5c\u696d\u3092\u3059\u308b\u3053\u3068\u306b\u3002 \u304a\u3082\u3057\u308d\u3044\u5b9a\u7fa9\u304c\u3057\u3066\u3042\u308b\u3068\u3053\u308d\u304c\u3042\u3063\u3066\u3001World\u3068\u3044\u3046\u578b\u3092\u3064\u304b\u3063\u3066\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u306e\u72b6\u614b\u3092\u8aac\u660e\u3059\u308b\u3002 type IO = World -> World type IO a = World -> (a, World) \u5b9f\u969b\u306b\u306f\u3001Curry\u3092\u6d3b\u7528\u3057\u3066\u3001\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\u306e\u72b6\u614b\u3092\u96a0\u853d\u3059\u308b\u3093\u3060\u305d\u3046\u306a\u3002 -- type construc\u2026","provider_url":"https://hatena.blog","author_name":"yokotaso","height":"190","categories":["Haskell"],"blog_url":"https://yokotaso.hatenadiary.org/","author_url":"https://blog.hatena.ne.jp/yokotaso/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyokotaso.hatenadiary.org%2Fentry%2F20120509%2F1336570492\" title=\"Programing in Haskell / Chapter.9 Interactive Programs - (\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u2026)\u3000(\u30c3\u30bf\u30fc\u30f3\uff01)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%","title":"Programing in Haskell / Chapter.9 Interactive Programs","image_url":null,"url":"https://yokotaso.hatenadiary.org/entry/20120509/1336570492","blog_title":"(\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u30ab\u30c1\u30e3\u2026)\u3000(\u30c3\u30bf\u30fc\u30f3\uff01)","version":"1.0"}