Linked by Thom Holwerda on Mon 11th Feb 2013 22:59 UTC

Thread beginning with comment 552255
To view parent comment, click here.
To read all comments associated with this story, please click here.
To view parent comment, click here.
To read all comments associated with this story, please click here.
Member since:
2006-09-20
I think that ATS may be pragmatic, especially in kernel land or "mission critical" code, sort of like a new spin on . Go is probably not the best comparison; I was posting that as a followup on a comment about Rust, D, and C++. More apt would perhaps be as a functional alternative to Ada+SPARK, though my initial impression is that it would have many improvements on these in the way of proof facilities and type system flexibility. But, that's just my impression ... I'm certainly no expert.