On 12/13/2012 11:40 AM, bearophile wrote:
...This thread is about spotting mistakes at compile-time, that is one of the main advantages of having a static typing in the first place. ...
Static code analysis also works when there is no static type checking.