4 ms·
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 defi
by octachron 4y ago
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?).
- jon_smark 4y agoThanks 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.