[Haskell-cafe] Categorical language

Pierre-Evariste Dagand pedagand at gmail.com
Thu Sep 4 14:46:47 EDT 2008


> 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/


More information about the Haskell-Cafe mailing list