Re:Why functional programming matters (1990) [pdf]
by platz on Thursday May 07, 2015 @01:44AM
(#9503465)
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.
[ Parent
| on HN ]
Re:Why functional programming matters (1990) [pdf]
by mafribe on Thursday May 07, 2015 @02:02AM
(#9503512)
I 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.