[Python-ideas] Why is design-by-contracts not widely adopted?

Greg Ewing greg.ewing at canterbury.ac.nz
Fri Sep 28 17:18:26 EDT 2018

Chris Angelico wrote:
> It is still fundamentally difficult to make assertions about the file
> system as pre/post contracts.

When you consider race conditions, I'd say it's impossible.
A postcondition check involving the file system could fail
even if the function does its job perfectly.


More information about the Python-ideas mailing list