[Python-ideas] add a always turn on "assert"

语言破碎处 mlet_it_bew at 126.com
Tue Feb 28 21:44:22 EST 2017

"assert" is good, but it is used as a guard frequently.
We can make such usage legal by adding a new syntax:
    assert bool_expr, ExceptionType, True

suggest reasons:
1) even "__debug__" turn off, assert is working
    assertion as guard.

2) to avoid boilerplate code
    I write code like this:
        if pred(....) or pred(....):
            raise ValueError('pred(....) or pred(....)')

        assert pred(...), ValueError, True
        # the above line will be printed when error.
        # I need not to copy the condition!

3) future: "assert bool_expr, ET, False"
    To aid static tool, like Proof System.
    Better document.
        For complicate algorithm,
        I actually add a invariant outline comment
        above every statement.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20170301/0283f80b/attachment-0001.html>

More information about the Python-ideas mailing list