retard wrote:
http://www.drdobbs.com/blog/archives/2009/10/safe_systems_fr.html
http://www.drdobbs.com/blog/archives/2009/11/designing_safe.html
Sadly, it's a topic that has not penetrated software engineering
instructional materials, and programmers have to learn it the hard way
again and again.
But these are your articles with no cited sources about the software
methodologies. It seems like they're written afterwards to advertise the
features implemented in D. The contract programming only covers a small
runtime dynamic part of programming. There's no mention about automated
theorem proving. No word about exceptions nor sandboxing with virtual
machines. Why? Because these would make D look ridiculous.
Isn't it actually simpler to reason that Walter defined D according to
his views and expertise?
Andrei
