Adding static typing to Python

[Brian Quinlan]

Peter Milliken wrote:
> When I compile a Ada program cleanly I know that 95% of the bugs are
out
> of it - before I even start testing! :-) Of course, it takes me longer

> to write up front but overall development effort (in my subjective
opinion > - since I have no metrics :-)) is that it is much lower.

If 95% of your bugs are of such a trivial nature, then you are either
very sloppy in your code production, you are an absolutely brilliant
designer or you are working on simple problems.

I would say that 99% of my bugs are due to design mistakes (e.g.
inappropriate algorithm selection, poorly designed interface) or
semantically incorrect algorithms (e.g. boundary errors, incorrectly
identified complexity/memory usage).

And finding these errors is substantially more difficult than finding
misnamed variables.

Cheers,
Brian