News for hackers. Stuff that matters.

A comment on Contract based programming (Python).

Re:Contract based programming (Python) by St-Clock on Monday July 04, 2011 @06:08AM (#2726041)
One thing I may have missed from the documentation: is it possible to check post-conditions (side effects of the function and return value)?
[ Parent | on HN ]
Re:Contract based programming (Python) by irahul on Monday July 04, 2011 @12:42PM (#2726980)
Side effects can be checked in `@leave(check_side_effects)`. I plan to add something to check results.
[ Parent | on HN ]