Noam Raphael <[EMAIL PROTECTED]> writes:
>> Noam Raphael <[EMAIL PROTECTED]> writes:
> Of course, even in statically typed languages, you can't enforce
> an implementation to do what it should (too bad - it would have made
> debugging so much easier...)
That's what DbC languages are for. You write the contracts first, then
the code to fullfill them. And get exceptions when the implementation
doesn't do what the contract claims it does.
<mike
--
Mike Meyer <[EMAIL PROTECTED]> http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.
--
http://mail.python.org/mailman/listinfo/python-list
