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.
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?).