Darren New wrote:
Christopher Smith wrote:
One of the principles behind a good safety system is that it can't be
cumbersome to use. If it is, people bypass the safety system. ;-)
It wasn't cumbersome. It was explicitly disabled for efficiency reasons.
This was an embedded controller, remember.
It's cumbersome to *dis*able the checking in Ada.
design-by-contract (and Ada is really not DbC as far as I'm concerned)
It's not. For DbC to work, you actually have to have contracts, not just
types.
Now, I've heard the Ada95 is better, and maybe it is, but old style Ada
was definitely a PITA.
95 is much better than 83, yes. It basically takes much of the stuff
that was painful and cumbersome in 83 and turns it into language features.
And now we're up to Ada 2005.
Gus
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
