Pre/Postconditions with decorators

[rittersporn at gmail.com]

Thank you very much for reminding me. I have been sloppy.
It should have said static type checking.

ciao

Skip Montanaro wrote:
> >> Eiffel (language) has both type checking and design by contract.
>     >> Python lacks both.
>
> Actually, Python is strongly typed.  It's just dynamically instead of
> statically typed.
> 
> Skip