3 ms·
I am unconvinced of the practical utility of what row types give you for the added complexity. The proposal to remove the Eff type (going back to IO) from pure
by platz 9y ago
I am unconvinced of the practical utility of what row types give you for the added complexity.
The proposal to remove the Eff type (going back to IO) from purescript is telling
- wtetzner 9y agoDo row types add a lot of complexity?
- platz 9y agoI think they add more complexity if you have to track and spell out each effect that is being added or removed from the stack
- brandonbloom 9y agoIt's not surprising though, since usefully typing control effects with delimited continuations would require at least answer type polymorphism, but even more usefully something like session types.