Static typing, Python, D, DbC

Paul Rubin at nospam.invalid
Mon Sep 13 04:50:23 CEST 2010

Ed Keith <e_d_k at> 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.

More information about the Python-list mailing list