MaD https://blog.hatena.ne.jp/MaD/ mad日記 https://mad.hatenadiary.org/ Ocaml ocamloptを読んでみた。そして色々と改造してみたりして分かった事をメモしておきます。 整数値、アドレスのボックス化は2倍して1足すという方法で行っている。 例えばprint_int 100と書くと実際にはprint_int 201という呼び出しになる。 四則演算などは、この変換を行った状態で実行される。例えばたし算の場合は、足した後に1を引くという計算になる。 これはRubyとかでやっているのと同じ方法 どんなに小さい関数でもlet rec ...と定義するとインライン化されない。 let recと定義された関数が再帰関数であるかどうかのチェックはしていない。 [| ... |] と定義… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmad.hatenadiary.org%2Fentry%2F20071126%2F1196113269" title=" ocamloptを読んだ - mad日記" 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 2007-11-26 06:41:09 rich https://mad.hatenadiary.org/entry/20071126/1196113269 1.0 100%