Linked by Thom Holwerda on Mon 11th Feb 2013 22:59 UTC
Permalink for comment 552255
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Features
Linked by Thom Holwerda on 05/24/13 17:26 UTC
Linked by Thom Holwerda on 05/21/13 21:38 UTC
Linked by Thom Holwerda on 05/20/13 11:29 UTC
Linked by Thom Holwerda on 05/18/13 21:33 UTC
Linked by David Adams on 05/16/13 4:23 UTC
Linked by Thom Holwerda on 05/11/13 21:41 UTC
Linked by Thom Holwerda on 05/08/13 14:22 UTC
Linked by Thom Holwerda on 05/02/13 15:28 UTC
Linked by Thom Holwerda on 04/29/13 21:06 UTC
Linked by Thom Holwerda on 04/24/13 22:24 UTC
More Features »
Sponsored Links



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.