zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml レコード型を定義して使うコードがどのようにlambda IRにコンパイルされるかを見ていく。 定義して使う 簡単なレコード型を定義した上でa.xなどとアクセスして使ってみる： type t = { x : int; y : string } let () = let a = {x=1; y="hello"} in print_endline @@ a.y ^ (string_of_int a.x) -dlambdaでコンパイル： (seq (let (*match*/87 = (let (a/83 = [0: 1 "hello"]) (apply (field 45 (global Stdli… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2021%2F05%2F12%2F081721" 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-12 08:17:21 rich https://zehnpaard.hatenablog.com/entry/2021/05/12/081721 1.0 100%