Re: Some exciting new trends in concurrency and software design

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 24 Jun 2011 03:26:57 +0200, Phil Clayton  
<phil.clayton@lineone.net> a écrit:

> On Jun 23, 11:17 pm, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
> wrote:
>> The reason that in the context of FPLs I'm mentioning this pattern (of
>> deliberately ignoring some things being a cause and expensive work
>> being an effect) is that one of these languages, the ATS language, is
>> really highly efficient by design and also includes a proof system
>> right in the language. It has safe pointers, too. So it would seem
>> promising.  Even as a layman, I am sure there are many interesting
>> advancedfeatures in ATS.
>>
>> But as usual, some things have been ignored.
>
> I don't know about ATS but can usefully add some points...
If you want to learn bout ATS, have look there:  http://www.ats-lang.org/

-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit