{"image_url":null,"provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/zehnpaard/","type":"rich","blog_title":"Arantium Maestum","provider_url":"https://hatena.blog","title":"OCaml\u306elambda IR\u3092\u3044\u3058\u308b\uff08\u95a2\u6570\uff09","version":"1.0","published":"2021-05-09 00:21:56","description":"\u524d\u56de\u306b\u7d9a\u3044\u3066\u3001\u30ed\u30fc\u30ab\u30eb\u3068\u30e2\u30b8\u30e5\u30fc\u30eb\u30ec\u30d9\u30eb\u3067\u306e\u95a2\u6570\u5b9a\u7fa9\u304c\u3069\u3046lambda IR\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u3055\u308c\u308b\u304b\u3092\u898b\u3066\u3044\u304f\u3002 \u30ed\u30fc\u30ab\u30eb\u95a2\u6570 \u307e\u305a\u306f\u3053\u3093\u306a\u611f\u3058\u306e\u7c21\u5358\u306a\u95a2\u6570\uff1a let () = let f x = x + 1 in print_int @@ f 5 ocamlopt -c -dlambda localfunc.ml\u306a\u3069\u3068\u3059\u308b\u3068\uff1a (seq (let (*match*/84 = (apply (field 43 (global Stdlib!)) (let (x/85 =[int] 5) (+ x/85 1)))) 0a) 0a) \u898b\u3066\u306e\u3068\u304a\u308a\u3001\u95a2\u6570\u5b9a\u7fa9\u304c\u6d88\u3048\u3001\u547c\u3073\u51fa\u3057\u304clet\u306b\u5909\u63db\u3055\u308c\u308b\u3001\u3068\u3044\u3046\u30a4\u2026","height":"190","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F05%2F09%2F002156\" title=\"OCaml\u306elambda IR\u3092\u3044\u3058\u308b\uff08\u95a2\u6570\uff09 - Arantium Maestum\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"zehnpaard","blog_url":"https://zehnpaard.hatenablog.com/","width":"100%","url":"https://zehnpaard.hatenablog.com/entry/2021/05/09/002156","categories":["OCaml"]}