effects-examples

Tech stack & purpose

This project provides a collection of examples demonstrating algebraic effects in OCaml, particularly within the Multicore OCaml framework. The examples cover a range of applications including concurrent scheduling, state management, asynchronous I/O, generators, promises, and algorithmic differentiation. The project is built in OCaml and requires OCaml 5.3 or later, with examples managed using the Dune build system and Opam package manager.

Community & reference links

• Effective Concurrency with Algebraic Effects
• Pearls of Algebraic Effects and Handlers
• See this conversation about the removal of this feature
• Retrofitting Effect Handlers onto OCaml
• Probabilisitic Programming
• project report
• ocaml-multicont
• Asynchronous IO in direct-style
• Reverse-mode Algorithmic Differentiation
• Dynamic wind
• Message-passing pipeline: Sieve of Eratostheneses
• A solution to the Same Fringe Problem
• Deriving generator from any interator
• Non termination from effects
• Continuation cloning is tricky
• Delimcc encoding
• Dynamic State
• Memoization
• A mathematical game: Nim
• Nondeterminism
• Backtracking N-Queens
• Chameneos-redux
• MVars
• Deep pipes
• Promises
• ML-style refs
• Monadic reflection
• A concurrent round-robin scheduler
• Mutable state
• Transactional state
• Reactive UI and animation
• Opam with these instructions

Languages

Contributors

• 
  KC Sivaramakrishnan118 commits · 529 followers
• 
  Daniel Hillerström18 commits · 167 followers
• 
  Patrick Ferris12 commits · 180 followers
• 
  Anil Madhavapeddy9 commits · 1,318 followers
• 
  Jeremy Yallop6 commits · 425 followers
• 
  Sudha Parimala5 commits · 81 followers
• 
  Maxime Lesourd3 commits · 6 followers
• Paulo Emílio de Vilhena2 commits
• 
  Tim McGilchrist2 commits · 232 followers
• shubhamkumar132 commits
• Shreyas Krisnakumar1 commits
• vimcy71 commits
• 
  gmevel1 commits · 3 followers
• Neeraj Sharma1 commits
• Robert Atkey1 commits
• Oliver Bracevac1 commits
• Deepali1 commits
• 
  Thomas Gazagnaire1 commits · 486 followers