{"height":"190","published":"2021-05-09 08:38:13","version":"1.0","width":"100%","provider_url":"https://hatena.blog","blog_title":"Arantium Maestum","url":"https://zehnpaard.hatenablog.com/entry/2021/05/09/083813","description":"\u518d\u5e30\u95a2\u6570\u306e\u3053\u3068\u3092\u5fd8\u308c\u3066\u3044\u305f\uff01 \u3068\u3044\u3046\u308f\u3051\u3067\u5e55\u9593\u7684\u306a\u8a18\u4e8b\u3002 Factorial \u518d\u5e30\u3067\u968e\u4e57\u306a\u30b3\u30fc\u30c9\uff1a let () = let rec f x = if x = 0 then 1 else x * (f (x-1)) in print_int @@ f 5 -dlambda\u3067\u30b3\u30f3\u30d1\u30a4\u30eb\uff1a (seq (let (*match*/83 = (letrec (f/80 (function x/81[int] : int (if (== x/81 0) 1 (* x/81 (apply f/80 (- x/81 1)))))) (apply (field 43 (global Stdlib!)) (ap\u2026","categories":["OCaml"],"blog_url":"https://zehnpaard.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/zehnpaard/","type":"rich","author_name":"zehnpaard","title":"OCaml\u306elambda IR\u3092\u3044\u3058\u308b\uff08\u518d\u5e30\u95a2\u6570\uff09","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F05%2F09%2F083813\" title=\"OCaml\u306elambda IR\u3092\u3044\u3058\u308b\uff08\u518d\u5e30\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>","image_url":null,"provider_name":"Hatena Blog"}