News for hackers. Stuff that matters.
Re:OCaml 5.0.0 release (including multicore and effects) by octachron on Friday December 16, 2022 @08:09AM (#34014124)
The type system for algebraic effects is still in the research and design phase at this point.

Right now, I am not even taking a guess of what will be the defining new major features of OCaml 6 (effect system + modular implicits maybe? Maybe not?).

Re:OCaml 5.0.0 release (including multicore and effects) by jon_smark on Friday December 16, 2022 @08:37AM (#34014345)
Thanks for the reply. I'm hoping that modular macros land soon. I'm very ambivalent about the PPX mechanism, and I hope that modular macros reduces the need of PPX.