zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 継続 言語処理系 前回に続いてCPS変換の話。 前回はパーサから帰ってくるExp.t型のASTを同じExp.t型のCPS形式になっているASTに変換してからインタプリタに実行させていた。 インタプリタが（特にビルトイン関数について）関数の最終引数を継続だと認識するようになったので、CPS変換前のASTはExp.t型なのに実行できないようになっていた（実行時エラーになる）。それだったらむしろ型をわけて、そもそもCPS変換前のASTをインタプリタに渡そうとするのはコンパイルエラーになるようにしたい。 ついでに ifの条件部分がsimpleならCPS変換しない 関数定義はsimpleな式として扱う の二点も一緒に実装… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2020%2F07%2F07%2F194617" title="型の違うCPS表現への変換 - 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 2020-07-07 19:46:17 rich https://zehnpaard.hatenablog.com/entry/2020/07/07/194617 1.0 100%