• bearophile <bearophileHUGS lycos.com> Aug 19 2008
• Knud Soerensen <4tuu4k002 sneakemail.com> Aug 20 2008

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

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/