13 Jan
2009
13 Jan
'09
10:51 a.m.
On Tue, 2009-01-13 at 12:56 -0200, Rafael Gustavo da Cunha Pereira Pinto wrote:
Last night I was thinking on what makes monads so hard to take, and came to a conclusion: the lack of a guided tour on the implemented monads.
...
Inspired by the paper "Functional Programming with Overloading and Higher-Order Polymorphism", Mark P Jones (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html) Advanced School of Functional Programming, 1995.
SO WHAT?
So have you read Jones' paper? Or do you have a *concrete* explanation of how it differs from your desired `guided tour'? jcc