zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml Algebraic Effects 言語処理系 前回のコードをベースに「任意のExtensionハンドラを変更なしで組み合わせて作る」Composable Interpreterを実装する。 問題 前回のコードの何がComposabilityを阻害していたかというとインタプリタを拡張するハンドラが、拡張前のインタプリタ関数を使っている点だ。 例えばhandler2を見ると： let rec handler2 : 'a. 'a D.effect_handler = { D.effc = fun (type b) (eff : b Effect.t) -> match eff with | Extension (Mul(e1,e2)) -> S… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2023%2F01%2F05%2F202652" title="OCaml 5.0のEffect HandlersでComposable 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-05 20:26:52 rich https://zehnpaard.hatenablog.com/entry/2023/01/05/202652 1.0 100%