Static typing guarantees that you're using consistent types throughout your program. It does not guarantee that this consistent code isn't doing something entirely braindead.

Из reddit'а