{"url":"https://tatta.hatenadiary.org/entry/20100623","blog_url":"https://tatta.hatenadiary.org/","blog_title":"\u3055\u3059\u3089\u3046\u30d7\u30ed\u30b0\u30e9\u30de\u306e\u65e5\u8a18","author_name":"tatta","published":"2010-06-23 00:00:00","categories":[],"image_url":null,"provider_name":"Hatena Blog","title":"OCaml\u306e\u30d0\u30b0\uff1f","type":"rich","author_url":"https://blog.hatena.ne.jp/tatta/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftatta.hatenadiary.org%2Fentry%2F20100623\" title=\"OCaml\u306e\u30d0\u30b0\uff1f - \u3055\u3059\u3089\u3046\u30d7\u30ed\u30b0\u30e9\u30de\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>","provider_url":"https://hatena.blog","width":"100%","version":"1.0","description":"\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30f4\u30a1\u30ea\u30a2\u30f3\u30c8\u578b\u3092\u5b9a\u7fa9\u3059\u308b\uff0e type term_ = | Lit of int | Inc of term_ | IsZ of term_ | If of term_ * term_ * term_ | Pair of term_ * term_ | Fst of term_ | Snd of term_ type 'a term = term_ \u305d\u3057\u3066\uff0c\u3053\u308c\u3089\u306e\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\u7528\u306e\u95a2\u6570\u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3059\u308b\uff0e let lit n:int term = Lit n let inc (t:int term): int term = Inc t let isz (t:int term):\u2026","height":"190"}