[Haskell-cafe] Categorical language

[Maurí­cio]

Hi,

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.)

Thanks,
Maurício