Parseff builds on ideas from several papers and projects. This page acknowledges the work that shaped its form.
-
Retrofitting Effect Handlers onto OCaml (Sivaramakrishnan et al., PLDI ‘21). The design and implementation of effect handlers in OCaml 5.
-
A Typed, Algebraic Approach to Parsing. Showed that parsing can be framed as an algebraic problem with typed combinators very nicely.
-
Angstrom. The OCaml parser combinator library whose streaming model motivated a simpler, effects-based alternative.
-
yieldparser A JavaScript parser combinator library that uses generators to write parsers in direct style, demonstrating that parser combinators don’t have to be monadic to be composable. An inspiration for the direct-style approach using effects instead of generators.