>The benefits of static typing (complie-time checks) are grossly exaggerated. If the claims were true, Java itself and Java projects would be much less buggy

I wouldnt call Java an "advanced type system". Take a look at Idris then try to say that with a straight face:

>Because neither an advanced type system nor static analysis could catch bugs in program logic

It certainly does if you indeed use an advanced type system.