[Python-ideas] Pre-conditions and post-conditions

[Ivan Levkivskyi]

On Mon, 3 Sep 2018 at 23:51, Greg Ewing <greg.ewing at canterbury.ac.nz> wrote:

> Jonathan Fine wrote:
> > I've just read and article which makes a good case for providing
> > pre-conditions and post-conditions.
> >
> > http://pgbovine.net/python-unreadable.htm
>
> There's nothing in there that talks about PBC-style executable
> preconditions and postconditions, it's all about documenting
> the large-scale intent and purpose of code. He doesn't put
> forward any argument why executable code should be a better
> way to do that than writing comments.
>

FWIW this article looks more like a typical motivational intro to static
types in Python :-)
(Even his comment about types can be partially answered with e.g.
Protocols.)

--
Ivan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20180904/15aa483a/attachment.html>