zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 前回に続いて、ローカルとモジュールレベルでの関数定義がどうlambda IRにコンパイルされるかを見ていく。 ローカル関数 まずはこんな感じの簡単な関数： let () = let f x = x + 1 in print_int @@ f 5 ocamlopt -c -dlambda localfunc.mlなどとすると： (seq (let (*match*/84 = (apply (field 43 (global Stdlib!)) (let (x/85 =[int] 5) (+ x/85 1)))) 0a) 0a) 見てのとおり、関数定義が消え、呼び出しがletに変換される、というイ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F05%2F09%2F002156" title="OCamlのlambda IRをいじる（関数） - 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> Hatena Blog https://hatena.blog 2021-05-09 00:21:56 rich https://zehnpaard.hatenablog.com/entry/2021/05/09/002156 1.0 100%