[Haskell-cafe] Categorical language
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 :-)
Also, there has been/is some work on Squiggol and the Algebra of
Programming that relies on categories :
> 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.
More information about the Haskell-Cafe