[vidarh]

> The first statement is provably false, empirically, as huge systems are overwhelmingly not written in dynamically typed languages.

Your conclusion is not supported by the claim you try to support it with.

> Ruby is not one of these languages.

You're free you think so, but you've not provided anything but unsupported conjecture and logically invalid reasoning to support your belief, so rather than convince me, you've provided an additional reason to question your judgement.