haskell-cafe@haskell.org
[Top] [All Lists]

Re: [Haskell-cafe] Short circuiting and the Maybe monad

Subject: Re: [Haskell-cafe] Short circuiting and the Maybe monad
From: Derek Elkins
Date: Wed, 14 May 2008 18:40:22 -0500
On Wed, 2008-05-14 at 12:42 -0700, Dan Piponi wrote:
> On Wed, May 14, 2008 at 12:03 PM, Andrew Coppin
> <andrewcoppin@xxxxxxxxxxxxxx> wrote:
> 
> > "It is well-known that trees with substitution form a monad."
> 
> Now that's funny. Compare with the first line of this paper:
> http://citeseer.ist.psu.edu/510658.html

Well, it's well-known.

Further, not only do they form a monad, but they are a free monad.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread] Current Thread [Next in Thread>