> what could be a "categorical language"? Something we would call Charity, for example :-)
http://en.wikipedia.org/wiki/Charity_(programming_language) http://pll.cpsc.ucalgary.ca/charity1/www/home.html Also, there has been/is some work on Squiggol and the Algebra of Programming that relies on categories : http://en.wikipedia.org/wiki/Bird-Meertens_Formalism http://lambda-the-ultimate.org/node/1117 > does that makes sense at all? I wish it does, these stuffs are quite exciting. However, most of these projects are more than 10 years old. But maybe I'm missing the latest development of this field. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
