Arantium Maestum

プログラミング、囲碁、読書の話題

2023-01-03から1日間の記事一覧

OCaml 5.0のEffect HandlersでExtensible Interpreter

ツイッターでOCamlのEffect Handlerの話題を漁っていたらこのようなツイートを見つけた: Algebraic Effects (Multicore OCaml)を使ってExtensible Interpreterを実装する例:https://t.co/b1Tu4pys6dポイントはeffect handlerにcontinuationが渡ってくる (=…

OCaml Effects Tutorialの演習「Generators from iterators」をやってみる3

前回の終わりに書いた通り、Effect.Shallowを使って「generatorが作成されてまだ要素を返していない」状態を特殊ケース化せずに処理できるようにする。 今回のコード type ('elt, 'container) iterator = ('elt -> unit) -> 'container -> unit type 'elt ge…