Ceylon language

[Walter Bright]

On 4/13/2011 2:14 PM, bearophile wrote:
> I agree it's just a high level discussion, there are not enough details yet.
> But a similar feature is present in Spec# and probably will be present in
> Rust. It seems several new languages want to solve this problem. How and how
> well is to be seen.


I don't know about Rust, but as we've discovered and discussed before, Spec# is 
a language with lofty goals that doesn't actually work and doesn't seem to have 
much of any user base. Hence a feature existing in Spec# is not much evidence 
that it is valid and useful.