[Haskell-cafe] Re: Functional programmer's intuition for
derek.a.elkins at gmail.com
Tue Mar 4 19:33:51 EST 2008
On Tue, 2008-03-04 at 19:01 +0000, Dominic Steinitz wrote:
> > Well, we have at least one very useful example of adjunction. It's
> > called "curry". See, if X is some arbitrary type, you can define
> This adjunction is the one that makes a category cartesian closed.
and the monad for it gives rise to the state monad.
And the other adjunction relating to exponentials and symmetry gives
rise to the continuation monad.
More information about the Haskell-Cafe