[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?
Eric
More information about the Python-ideas
mailing list