{"height":"190","categories":["OCaml"],"blog_title":"camlspotter\u2019s blog","width":"100%","title":"Monad \u306b\u3057\u3061\u3083\u3046 functor \u3092\u901a\u3057\u3066\u4eca\u6642\u306e OCaml \u30e2\u30b8\u30e5\u30fc\u30eb\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u4fef\u77b0","published":"2011-07-13 10:16:41","version":"1.0","author_name":"camlspotter","provider_url":"https://hatena.blog","blog_url":"https://camlspotter.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/camlspotter/","url":"https://camlspotter.hatenablog.com/entry/20110713/1310519801","provider_name":"Hatena Blog","image_url":null,"description":"\u3053\u308c\u306f\u79c1\u7528\u306e\u899a\u3048\u66f8\u304d\u3092\u9069\u5f53\u306b\u6574\u5f62\u3057\u305f\u3082\u306e(\u3068\u3044\u3046\u304b Sphinx \u3067 hatena \u8a18\u6cd5\u306b\u3057\u305f\u3060\u3051\u3060\u3051\u3069)\u3002\u3060\u304b\u3089\u4ed6\u306e\u4eba\u304c\u8aad\u3093\u3067\u5224\u308b\u3088\u3046\u306b\u5168\u304f\u66f8\u3044\u3066\u3044\u306a\u3044\u3002OCaml \u3084 ML \u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u30b7\u30b9\u30c6\u30e0\u3001 value polymorphism\u3001\u3055\u3089\u306b\u306f relaxed value polymorphism\u3001\u305d\u3057\u3066\u65e5\u672c\u8a9e\u3092\u77e5\u3063\u3066\u3044\u308b\u4eba\u306b\u3001\u306a\u3089\u3070\u4f55\u304b\u5f79\u306b\u7acb\u3064\u304b\u3082\u3057\u308c\u306a\u3044\u3002\u591a\u5206\u5730\u7403\u4e0a\u3067\u6570\u5341\u4eba\u3082\u3044\u306a\u3044\u3002\u307e\u3042\u3044\u3044\u3084\u3002\u3053\u308c\u898b\u3066\u30a6\u30d8\u30a7\u3001\u3068\u601d\u3046\u306a\u3089\u4f8b\u3048\u3070 F# \u307f\u305f\u3044\u306a ML \u30e2\u30b8\u30e5\u30fc\u30eb\u30b7\u30b9\u30c6\u30e0\u3092\u653e\u68c4\u3057\u3066 class \u968e\u5c64\u3092\u63a1\u7528\u3057\u305f\u8a00\u8a9e\u3068\u304b\u3001 Haskell \u307f\u305f\u3044\u306a type class \u3067\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u5b9f\u73fe\u3057\u305f\u2026","type":"rich","html":""}