zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ 言語処理系 OCaml 言語処理系の実装の手法として「A正規化」というものがある。 元のソースプログラムを変換して最適化や機械語へのコンパイルなどがやりやすい形にする、処理系IRの選択肢一つである。CPS（継続渡しスタイル）のIRと非常に似ている。 The Essence of Compiling with Continuationsという論文で提唱されたIRで、CPSよりソースプログラムに対する変更が軽い割りに最適化などに関しては概ねCPSと同等のことができる、というのが論文著者たち（Felleisen含む）の主張。 その後Compiling with Continuations, ContinuedやCompil… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F03%2F13%2F130848" title="ミニマルなA正規化コードサンプル解説 - 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 2022-03-13 13:08:48 rich https://zehnpaard.hatenablog.com/entry/2022/03/13/130848 1.0 100%