[Haskell-cafe] Where is the "convergence point" between Category Theory and Haskell?
Alfredo Di Napoli
alfredo.dinapoli at gmail.com
Mon Jan 14 09:37:45 CET 2013
Thanks everyone for the answers. Mine is just an experiment, but if I
succeed in keeping it
up and to come with something useful, I won't hesitate to poke you :)
Btw, in case I succeed, posts will appear here:
On 13 January 2013 23:43, Christopher Howard <
christopher.howard at frigidcode.com> wrote:
> On 01/13/2013 03:15 AM, Alfredo Di Napoli wrote:
> > Morning Cafe,
> > I'm planning to do a series of write-ups about Category Theory, to
> > publish them on the company's blog I'm currently employed.
> > I'm not a CT expert, but since the best way to learn something is to
> > explain it to others, I want to take a shot :)
> > In my mind I will structure the posts following Awodey's book, but I'm
> > wondering how can I make my posts a little more "real world".
> > I always read about the "Hask category", which seems to be the
> > "bootstrap" of the whole logic behind Haskell. Can you please give my
> > materials/papers/links/blogs to the Hask category and briefly explain me
> > how it relates to Category Theory and Haskell itself?
> > I hope my question is clear enough, in case is not, I'll restate :P
> > Cheers,
> > A.
> You want to give us the link to that blog?
> If you can keep your explanations reasonably illustrative and easy to
> understand, you'll get a regular reader out of me.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe