Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations(blog.janestreet.com)
blog.janestreet.com
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations
https://blog.janestreet.com/fun-with-algebraic-effects-hardcaml/
3 コメント
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?
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... .
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... .
Thanks, I've been meaning to delve into algebraic effects and it seems OCaml is the only mainstream language that actually implemented them.
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