www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - ATS language

reply bearophile <bearophileHUGS lycos.com> writes:
In the recent past I think larsivi (or someone else?) was asking for functional
languages that may be be used as system languages. I think the ATS may be fit:

http://www.ats-lang.org/

I think among other things the ATS language has "first class types" (that I
think D too may enjoy to have in the future). The source code of ATS is written
in AST itself (it can be converted automatically to C for boostrapping) doesn't
look much long, despite the language seems to have lot of features.

Shootout examples in ATS, strangely they often seem faster than the current
best C implementations (timings compared to C at the top of each file):
http://www.ats-lang.org/EXAMPLE/SHOOTOUT/

Bye,
bearophile
Aug 19 2008
parent Knud Soerensen <4tuu4k002 sneakemail.com> writes:
bearophile wrote:
 In the recent past I think larsivi (or someone else?) was asking for
functional languages that may be be used as system languages. I think the ATS
may be fit:
 
 http://www.ats-lang.org/
 
 I think among other things the ATS language has "first class types" (that I
think D too may enjoy to have in the future). The source code of ATS is written
in AST itself (it can be converted automatically to C for boostrapping) doesn't
look much long, despite the language seems to have lot of features.
 
 Shootout examples in ATS, strangely they often seem faster than the current
best C implementations (timings compared to C at the top of each file):
 http://www.ats-lang.org/EXAMPLE/SHOOTOUT/
 
 Bye,
 bearophile

It looks interesting. -- Crowdnews.eu - a social news site based on sharing instead of voting. Follow me on CrowdNews http://crowdnews.eu/users/addGuide/42/
Aug 20 2008