43Fun with Algebraic Effects – From Toy Examples to Hardcaml SimulationsChapter 9 and section 10.7 of this book show some interesting (and to me unexpected) uses of effects in Ocaml and how they compare to implementations based on monads:https://lukstafi.github.io/curious-ocaml/new_book.htmlThe dscheck model-checker is another interesting application of effects: https://github.com/ocaml-multicore/dscheck
Chapter 9 and section 10.7 of this book show some interesting (and to me unexpected) uses of effects in Ocaml and how they compare to implementations based on monads:https://lukstafi.github.io/curious-ocaml/new_book.htmlThe dscheck model-checker is another interesting application of effects: https://github.com/ocaml-multicore/dscheck
Chapter 9 and section 10.7 of this book show some interesting (and to me unexpected) uses of effects in Ocaml and how they compare to implementations based on monads:
https://lukstafi.github.io/curious-ocaml/new_book.html
The dscheck model-checker is another interesting application of effects: https://github.com/ocaml-multicore/dscheck