3 ms·
Regarding purity and encapsulation of effects - I would say instead say that it's just not decided if monads are the best mechanism for controlling effects, but
by platz 12y ago
Regarding purity and encapsulation of effects - I would say instead say that it's just not decided if monads are the best mechanism for controlling effects, but there is still a lot of interest in some mechanism for control and reasoning about them.
- mafribe 12y agoI fully agree with that, that's why my point (viii) was: "monadic encapsulation of effects: open". But it's important to realise that (a) the existence of effects and (b) their control at the level of types are two differnt things.