ocaml-effects-tutorial

Tech stack & purpose

This is a tutorial on concurrent programming using algebraic effect handlers in OCaml. The project teaches effect handlers through guided examples and exercises, starting with basics like error recovery and progressing through topics including shallow versus deep handlers, delimited continuations, generators, cooperative concurrency, and asynchronous I/O. It was originally written as course materials for the CUFP 17 tutorial and is built with OCaml 5.4.1 (or later) using the Dune build system, leveraging the Effect module from OCaml's standard library to demonstrate how algebraic effects provide a unified abstraction for exceptions, generators, asynchronous operations, and concurrent programming patterns.

Community & reference links

• CUFP 17 tutorial
• Koka
• Links
• effect.mli
• opam
• Goroutines in Go
• OCaml manual on Effects and handlers
• extensible variant type
• locally abstract type
• concurrency monad
• Eff

Languages

Contributors

• 
  KC Sivaramakrishnan37 commits · 529 followers
• 
  Thomas Nelson18 commits · 8 followers
• 
  Sudha Parimala5 commits · 81 followers
• toastal2 commits
• Ryan Gibb2 commits
• i321takeji1 commits
• ahmadrasyidsalim1 commits
• 
  Kevin Gathuku1 commits · 156 followers
• Tryggvi Gylfason1 commits
• 
  Daniel Hillerström1 commits · 167 followers