On Aug 30, 9:41 pm, Paul Rubin <http://[EMAIL PROTECTED]> wrote: > Bruno Desthuilliers <[EMAIL PROTECTED]> writes: > > FWIW, the "Eiffel and SPARK Ada folks" also "brilliantly explained" > > why one can not hope to "write reliable programs" without strict > > static declarative type-checking. > > I don't know about Eiffel but at least an important subset of SPARK > Ada's DBC stuff is done using static analysis tools (not actually > built into the compiler as it happens) to verify statically > (i.e. without actually running the code) that the code fulfills the > DBC conditions. I don't see any way to do that with Python > decorators.
I don't see any way to do that in Python with built-in DBC syntax, either. :) Carl Banks -- http://mail.python.org/mailman/listinfo/python-list
