I find it disgusting how proponents of monads are happy at the progress of writing their programs in A Normal Form instead of Continuation Passing Style, yet sneer at those who write programs in Direct Style. Smells like Stockholm Syndrome. Do-notation is brain damage.
-
-
Interesting! A couple of examples of the 2 styles would be nice for the mere mortals!
-
Direct Style: f(g(x), h(y)) A-normal Form: let gx = g(x); let hy = h(y); f(gx, hy) Continuation-Passing Style: k => g'(x, gx => h'(y, hy => f'(gx,hy,k) Do-notation is just A-normal form for all monadic function invocations.
End of conversation
New conversation -
-
-
I'd be happy to drop do notation if the IDE can also tell you which monad any given block of code is in. Then finding IO or any other effect is just a type directed search, as it should be. Syntax to compensate for lack of tooling sucks.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!