[Haskell-cafe] Origins of '$'

Richard O'Keefe ok at cs.otago.ac.nz
Sun Dec 14 18:59:12 EST 2008


On 15 Dec 2008, at 12:52 pm, Derek Elkins wrote:
> I want to point out a quick categorical way of proving this (and  
> almost
> all the other "arithmetic" laws follow similarly.)  This is just
> continuity of right adjoints.  The interesting thing is the  
> adjunction,
> one that is commonly neglected in discussions of Cartesian closed
> categories.

December buds swell.
Categories unlimit
Haskell I once knew.



More information about the Haskell-Cafe mailing list