Static typing, Python, D, DbC
no.email at nospam.invalid
Mon Sep 13 04:50:23 CEST 2010
Ed Keith <e_d_k at yahoo.com> writes:
>> I think DbC as envisioned by the Eiffel guy...
>> the term is that it's a static verification technique,
> Eiffel throws an exception when a contract is violated. That is run
> time behavior, not static verification.
The runtime checks are for when static analysis hasn't been supplied
(that is usually a partly manual process). DBC is always intended to be
statically verified as I understand it. Doing it at runtime is just a
More information about the Python-list