ocaml-multicore / Effects Examples
Licence: isc
Examples to illustrate the use of algebraic effects in Multicore OCaml
Stars: ✭ 228
Programming Languages
ocaml
1615 projects
OCaml effects examples
Examples to illustrate the use of algebraic effects in OCaml. See
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: Sieve of Eratostheneses
- Deep pipes
- Non termination from effects
- Continuation cloning is tricky
- A solution to the Same Fringe Problem
- Reverse-mode Algorithmic Differentiation
Running the examples
Follow the instructions to install Multicore OCaml. Then,
$ opam install dune lwt
$ make
This builds all of the examples.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].