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

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/