{"description":"\u524d\u56de\u3053\u3046\u66f8\u3044\u305f\uff1a \u3061\u306a\u307f\u306b\u3053\u306e\u8a18\u4e8b\u3092\u66f8\u3044\u3066\u3044\u308b\u6700\u4e2d\u306bList\u30e2\u30ca\u30c9\u5b9f\u88c5\u306b\u3082\u91cd\u5927\u306a\u30df\u30b9\u304c\u3042\u308b\u3053\u3068\u306b\u6c17\u3065\u3044\u305f \u4eca\u56de\u306f\u305d\u306e\u8a71\u3002 reify\u306e\u578b Representing Monads\u306ereify\u3068reflect\u306e\u578b\u5b9a\u7fa9\uff1a signature RMONAD = sig structure M : MONAD val reflect : '1a M.t -> '1a val reify : (unit -> 'a) -> 'a M.t end; \u3053\u308c\u3092\u898b\u3066\u307f\u308b\u3068reify\u306f'a\u578b\u3092\u8fd4\u3059thunk\u3092\u5f15\u6570\u306b\u3068\u308a\u3001'a\u3092\u5305\u3093\u3060\u30e2\u30ca\u30c7\u30a3\u30c3\u30af\u306a\u5024\u3092\u8fd4\u3059\u3001\u3068\u3044\u3046\u578b\u306b\u306a\u3063\u3066\u3044\u308b\u3002\uff08\u524d\u56de\u306e\u8a18\u4e8b\u3067\u3082\u8a00\u53ca\u3057\u305f\u304c\u3001Kontl\u2026","url":"https://zehnpaard.hatenablog.com/entry/2020/06/17/075357","blog_url":"https://zehnpaard.hatenablog.com/","author_name":"zehnpaard","categories":["OCaml","\u3081\u3056\u305d\u3046\u8a00\u8a9e\u51e6\u7406\u7cfb\u306e\u6cbc","\u8a00\u8a9e\u51e6\u7406\u7cfb"],"image_url":null,"type":"rich","width":"100%","title":"\u3081\u3056\u305d\u3046\u8a00\u8a9e\u51e6\u7406\u7cfb\u306e\u6cbc\u3000\u301cshift/reset\u3078\u306e\u65c5 \u301c\u3000\u305d\u306e\uff12\uff11 \u3084\u306f\u308a\u4ffa\u306eList\u30e2\u30ca\u30c9\u306f\u307e\u3061\u304c\u3063\u3066\u3044\u308b\u3002","provider_name":"Hatena Blog","published":"2020-06-17 07:53:57","provider_url":"https://hatena.blog","blog_title":"Arantium Maestum","version":"1.0","height":"190","author_url":"https://blog.hatena.ne.jp/zehnpaard/","html":""}