Static typing, Python, D, DbC

[Paul Rubin]

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
hackish fallback.