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.