[Python-ideas] Simplicity of C (was why is design-by-contracts not widely)

Eric V. Smith eric at trueblade.com
Sun Sep 30 18:19:11 EDT 2018

On 9/30/2018 8:11 AM, Stephen J. Turnbull wrote:
> Steven D'Aprano writes:
>   > (7) You can't unit test loop invariants
> I don't see how a loop invariant can be elegantly specified without
> mixing it in to the implementation.  Can you show an example of code
> written in a language with support for loop invariants *not* mixed
> into the implementation?

I'd be very interested in this, too. Any pointers?


More information about the Python-ideas mailing list