{"description":"# \u30c8\u30e9\u30c3\u30af\u30d0\u30c3\u30af\u3092\u30d0\u30e9\u307e\u3044\u3066\u3057\u307e\u3044\u307e\u3057\u305f m(_ _)m \u30b9\u30df\u30de\u30bb\u30f3\u2026\u578b\u30ec\u30d9\u30eb\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u4f1a\u8b70 \u306b\u884c\u3063\u3066\u304d\u307e\u3057\u305f\u3002 \u5e30\u308a\u306e\u65b0\u5e79\u7dda\u3067\u3053\u308c\u3092\u66f8\u3044\u3066\u3044\u307e\u3059\u3002\u968f\u6642\u66f4\u65b0\u4e88\u5b9a\u3002 \u79c1\u306e\u767a\u8868 \u6700\u5f8c\u306e TCast \u304c\u30e1\u30a4\u30f3\u306a\u306e\u3067\u3059\u304c\u305d\u308c\u306f\u30bd\u30fc\u30b9\u53c2\u7167 \u30b9\u30e9\u30a4\u30c91\u3068Haskell\u30bd\u30fc\u30b9 http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/typelevel/ \u30b9\u30e9\u30a4\u30c92 http://www.itpl.co.jp/ocaml-nagoya/index.php?plugin=attach&refer=%B3%E8%C6%B0%B5%AD%CF%BF%2F20081\u2026","author_url":"https://blog.hatena.ne.jp/keigoi/","blog_title":"keigoi\u306e\u65e5\u8a18","author_name":"keigoi","provider_name":"Hatena Blog","height":"190","width":"100%","image_url":null,"categories":["Haskell","OCaml","C++","Scala","D"],"provider_url":"https://hatena.blog","title":" \u578b\u30ec\u30d9\u30eb\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u4f1a\u8b70","version":"1.0","published":"2009-04-18 22:18:40","blog_url":"https://keigoi.hatenadiary.org/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20090418%2F1240060720\" title=\" \u578b\u30ec\u30d9\u30eb\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u4f1a\u8b70 - keigoi\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://keigoi.hatenadiary.org/entry/20090418/1240060720","type":"rich"}