X-Received: by 10.224.208.9 with SMTP id ga9mr595858qab.8.1360842146755; Thu, 14 Feb 2013 03:42:26 -0800 (PST)
X-Received: by 10.49.60.40 with SMTP id e8mr1542182qer.40.1360842146696; Thu, 14 Feb 2013 03:42:26 -0800 (PST)
Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!p13no16409385qai.0!news-out.google.com!k2ni32873qap.0!nntp.google.com!p13no16409379qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.python
Date: Thu, 14 Feb 2013 03:42:26 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=195.212.29.172; posting-account=bNceIwoAAAA0MLu9EMoyyrFytGTzg5Q6
NNTP-Posting-Host: 195.212.29.172
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <70c4a8a5-0e8d-4e5c-b0cd-e4ccd90c5cb3@googlegroups.com>
Subject: any chance for contracts and invariants in Python?
From: mrkafk@gmail.com
Injection-Date: Thu, 14 Feb 2013 11:42:26 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: csiph.com comp.lang.python:38860


This PEP seems to be gathering dust:

http://www.python.org/dev/peps/pep-0316/

I was thinking the other day, would contracts and invariants not be better than unit tests? That is, they could do what unit tests do and more, bc they run at execution time and not just at development time?