Hacker News Reader

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

It'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.

Do row types add a lot of complexity?

I think they add more complexity if you have to track and spell out each effect that is being added or removed from the stack

Reply on news.ycombinator.com