> They also make programs that are easier to maintain by other developers because they are not overburdened with type information that is either redundant or irrelevant.
Modern languages have type inference.
> Have you ever worked in QA? Do you know where bugs come from? Many many bugs come from statically typed languages when square pegs are pushed into round holes by implied casts.
The issue here isn't static typing but what you call "implied casts". And in fact, sensible languages don't have those except in cases where they're guaranteed to work (i. e. subtype to supertype conversions, integer widening).
> You can say "experienced developers should not fall for this" but the simple fact is that even the most experienced developers create far more bugs per LOC in static languages than they do in dynamic ones.