We present the embedding of the language Eff into OCaml, using the library of delimited continuations or the OCaml-effects branch. The embedding is systematic, lightweight, performant and supports even higher-order, `dynamic’ effects with their polymorphism. OCaml thus may be regarded as another implementation of Eff, broadening the scope and appeal of that language.
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
14:00 - 14:50
|Eff Directly in OCaml|
|Compiling Links Effect Handlers to the OCaml Backend|
Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of CambridgePre-print