optional static typing for Python
Paul Rubin
http
Mon Jan 28 01:17:30 EST 2008
Paddy <paddy3118 at googlemail.com> writes:
> Given the complexity of current microprocessors i'm guessing that
> their previous testing methods would be too good to just junk in
> totality because the FDIV bug was not found. Similarly if they were
> not using formal methods then it makes sense to add it too your
> arsenal; and unfortunately it takes a mistake like that to allow
> different methods to be explored and incorporated.
Fair enough. My main issue was against the notion that random testing
is the only thing necessary.
More information about the Python-list
mailing list