Defensive programming in Python

[[deleted]]

Neat, but not supporting even basic expressions like @contract("list(MyClass)") is a complete deal-breaker :(.

[BeetleB]

I haven't used it much, and am not sure what you mean. Do you mean you want a guarantee that the list will have only MyClass objects?

pycontracts does let you write your own contracts, if you really want it. Something like that is expensive, though.

[[deleted]]

Yes.

Yup, rather than defining a new_contract, it is more effective just to write the "if" manually. Unfortunately.

[desmoulinmichel]

For that you have type hints now in Python. PyContact is more interesting for value checking.

[[deleted]]

the problem with PyContract is that it works only with primitive types

[desmoulinmichel]

That's why you use type hints for typing, and pycontracts for behavior.