Categorical language
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
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/
On Thu, 2008-09-04 at 20:46 +0200, Pierre-Evariste Dagand wrote:
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.
I've heard similar questions among the aldor community. IIUC aldor is a second cut at a mathematical programming language. Its original use was to provide the underpinning to the Axiom family of CAS. They are exploring the use of aldor outside of CAS support, however. The language is strongly typed, and the "domains" include things like Ring and Field.
On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand
what could be a "categorical language"?
Something we would call Charity, for example :-)
Also check out Tatsuya Hagino's PhD thesis, available here: http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en It's a precursor to the Charity work, and a very nice presentation of the ideas. Take care... Matt
participants (4)
-
Bill -
Matt Hellige -
Maurício -
Pierre-Evariste Dagand