{"width":"100%","blog_title":"camlspotter\u2019s blog","description":"\u3088\u3044\u3053\u306f\u8aad\u3093\u3067\u306f\u3044\u3051\u307e\u305b\u3093\u3002Obj.magic \u306e\u8a71\u3067\u3059\u3002\u3088\u3044\u3053\u306f\u5bdd\u3066\u304f\u3060\u3055\u3044\u3002\u3001\u3001\u3001\u3001\u3001\u3001\u3001\u3001\u3001\u306f\u3044\u3001\u60aa\u3044\u5b50\u3057\u304b\u3044\u307e\u305b\u3093\u306d\u3002\u3058\u3083\u3042\u3001Obj.magic \u306e\u8a71\u3092\u3057\u307e\u3057\u3087\u3046\u3002Obj.magic \u306f\u95a2\u6570\u306a\u306e\u3067\u3001\u9069\u7528\u3055\u308c\u305f\u7d50\u679c\u306f expansive \u3067\u3059\u3002\u306a\u306e\u3067\u3001\u7d50\u679c\u304c polymorphic \u306b\u51fa\u6765\u307e\u305b\u3093\u3067\u3057\u305f: # (Obj.magic 0 : ('a -> 'a) option);; - : ('_a -> '_a) option = None\u307b\u3093\u3068\u306f ('a -> 'a) option \u306b\u3057\u305f\u3044\u306e\u306b\u3001\u3001\u3001\u95a2\u6570\u3058\u3083\u306a\u3044\u304b\u3089\u30a8\u30fc\u30bf\u5909\u63db\u3082\u3067\u304d\u306a\u3044\u3002 OCaml \u306e\u578b\u30b7\u30b9\u30c6\u30e0\u3067\u904a\u3076\u3068\u304d\u3063\u3066\u3001\u7121\u7406\u77e2\u7406\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcamlspotter.hatenablog.com%2Fentry%2F20090312%2F1236853256\" title=\" (relaxed) value restriction \u3092\u56de\u907f\u3059\u308b pure magic - camlspotter\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","type":"rich","url":"https://camlspotter.hatenablog.com/entry/20090312/1236853256","height":"190","image_url":null,"published":"2009-03-12 19:20:56","provider_url":"https://hatena.blog","categories":["OCaml"],"author_url":"https://blog.hatena.ne.jp/camlspotter/","version":"1.0","author_name":"camlspotter","title":" (relaxed) value restriction \u3092\u56de\u907f\u3059\u308b pure magic","blog_url":"https://camlspotter.hatenablog.com/","provider_name":"Hatena Blog"}