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.