[Haskell-cafe] Categorical language

Maurí­cio briqueabraque at yahoo.com
Thu Sep 4 11:54:34 EDT 2008


I’ve been thinking about this and would like your
opinion: what could be a “categorical language”?
Something like a language where categories and
functors are first class; does that makes sense at
all? (Sorry if this is insane, I'm a begginer in
categories, I've read just the first chapter of
Mac Lane's book.)


More information about the Haskell-Cafe mailing list