27 Jun
2010
27 Jun
'10
12:40 p.m.
On 27 June 2010 16:07, Felipe Lessa
On Sun, Jun 27, 2010 at 10:54:08AM +0100, Max Bolingbroke wrote:
Example 2: Codensity is the mother of all Monads
I thought the continuation monad was the mother of all monads. :)
I actually already referenced Dan's article, and stole the vocabulary from him :-). Codensity is a better model, see e.g. Edward Kmett's first comment on Dan's post (http://blog.sigfpe.com/2008/12/mother-of-all-monads.html#comment-1). Cheers, Max