[Haskell-cafe] Intergalactic Telefunctors

Derek Elkins derek.a.elkins at gmail.com
Sun Feb 15 14:54:41 EST 2009


On Sun, 2009-02-15 at 18:53 +0100, Tillmann Rendel wrote:
> Gregg Reynolds wrote:
> > BTW, I'm not talking about Haskell's Functor class, I guess I should
> > have made that clear.  I'm talking about category theory, as the
> > semantic framework for thinking about Haskell.
> 
> In that case, I even less see why you are not introducing category 
> theory proper. Certainly, if one wants to use a semantic framework for 
> thinking about something, one should use the real thing, not some 
> metaphors.

The sooner you realize that Gregg is, apparently, only interested in
half-baked philosophizing and wordplay, the better off you'll be.  Of
the things he claims to be interested in, Haskell, category theory,
formal semantics, none have yet made an appearance on his blog.



More information about the Haskell-Cafe mailing list