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

[Eric V. Smith]

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