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
_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/
