OCaml effects examples

Examples to illustrate the use of algebraic effects in OCaml. See

• Effective Concurrency with Algebraic Effects
• Pearls of Algebraic Effects and Handlers

Examples

• A concurrent round-robin scheduler
• Mutable state
• ML-style refs
• Transactional state
• Asynchronous IO in direct-style
• Delimcc encoding
• Dynamic wind
• Deriving generator from any interator
• Promises
• Backtracking N-Queens
• Monadic reflection
• MVars
• Chameneos-redux
• Memoization
• Nondeterminism
• A mathematical game: Nim
• Message-passing pipeline
• Non termination from effects