zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml Algebraic Effects 言語処理系 前回「任意のハンドラを組み合わせてインタプリタを作るといったComposabilityも持たせることができる」と書いた。今回はそのComposable Interpreter実装への準備段階として、前回のコードをリファクタしてeval関数とeffect handlerをある程度分離した形にする。 大まかに言って変更箇所は二点： インタプリタ拡張のeval2、eval3の中で定義されているhandlerをeval関数の外に出す Int, Add, SubなどもExtensionエフェクトを使ったインタプリタ拡張として表現する eval関数からhandlerを出す 前回のコードをみると、eval2… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2023%2F01%2F04%2F095849" title="OCaml 5.0のEffect HandlersでExtensible Interpreter 続 - 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 2023-01-04 09:58:49 rich https://zehnpaard.hatenablog.com/entry/2023/01/04/095849 1.0 100%