Why static typed languages are sometimes better.

[Lothar Scholz]

On Thu, 01 Jul 2004 14:54:27 -0700, "Wai Yip Tung"
<tungwaiyip at yahoo.com> wrote:

>I agree. I appreciate the dynamic and polymorphic power of Python. On the  
>other hand I hope it does a better job to catch my silly mistakes and  
>typos. If only there is something like a lint it would save me something  
>fixing runtime errors.

There was a lint: PyChecker.
But for unkown reasons it is now dead. 
And we still have no tools that makes use of manually added type
declarations.