{"author_name":"bleis-tift","blog_title":"\u3050\u308b\u3050\u308b\uff5e","provider_url":"https://hatena.blog","height":"190","provider_name":"Hatena Blog","categories":["F#"],"type":"rich","title":"\u5024\u5236\u9650","image_url":null,"author_url":"https://blog.hatena.ne.jp/bleis-tift/","published":"2014-03-20 20:11:00","blog_url":"https://bleis-tift.hatenablog.com/","version":"1.0","url":"https://bleis-tift.hatenablog.com/entry/value-restriction","description":"\u306a\u3093\u304bTL\u3067\u5076\u7136\u305d\u3093\u306a\u8a71\u984c\u304c\u3042\u3063\u305f\u306e\u3067\u3002 \u30b3\u30fc\u30c9\u306fF#\u3067\u3059\u3002 \u307e\u305aref\u306b\u3064\u3044\u3066 \u5024\u5236\u9650\u306e\u8a71\u984c\u306b\u884c\u304f\u524d\u306b\u3001ref\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002 ref\u306f\u3001\u300c\u5909\u66f4\u53ef\u80fd\u306a\u5024\u300d\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306b\u4f7f\u3048\u308b\u578b\u3067\u3001\u5927\u4f53\u3053\u3093\u306a\u611f\u3058\u306b\u5b9f\u88c5\u3055\u308c\u3066\u3044\u307e\u3059\u3002 type 'a ref = { mutable contents: 'a } (* ref\u306e\u751f\u6210 *) let ref x = { contents = x } (* ref\u304c\u683c\u7d0d\u3057\u3066\u3044\u308b\u5024\u3092\u53c2\u7167 *) let (!) x = x.contents (* ref\u304c\u683c\u7d0d\u3057\u3066\u3044\u308b\u5024\u306b\u518d\u4ee3\u5165 *) let (:=) x y = x.contents <- y \u3053\u308c\u306b\u3088\u3063\u3066\u3001\u4ee5\u4e0b\u306e\u2026","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbleis-tift.hatenablog.com%2Fentry%2Fvalue-restriction\" title=\"\u5024\u5236\u9650 - \u3050\u308b\u3050\u308b\uff5e\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}