optional static typing for Python

[Paul Rubin]

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.