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:
That books seems very interesting in general, thank you for sharing!
Then again, I am a bit skeptical since the author also credits Claude Opus 4.5 and GPT-5.2. Both models got released in November/December last year, which makes me wonder: Was this book written in only 2 months, i.e. mostly by AI?
3 comments
[ 1.7 ms ] story [ 20.4 ms ] threadhttps://lukstafi.github.io/curious-ocaml/new_book.html
The dscheck model-checker is another interesting application of effects: https://github.com/ocaml-multicore/dscheck
Then again, I am a bit skeptical since the author also credits Claude Opus 4.5 and GPT-5.2. Both models got released in November/December last year, which makes me wonder: Was this book written in only 2 months, i.e. mostly by AI?
EDIT: No. Turns out the book is much older and only recent changes were done with the help of LLMs, https://github.com/lukstafi/curious-ocaml/commits/main/?afte... .