Regarding programming with a mature static type system: > It was incredibly liberating - like pairing with someone who was junior but very pedantic. This is e

Regarding programming with a mature static type system: > It was incredibly liberating - like pairing with someone who was junior but very pedantic. This is exactly what is happening. To achieve the same level of semantic confidence across a code-base in a dynamically typed language (such as JavaScript, Perl, Python, Ruby, etc.) would take the effort of a diligent junior programmer. Which, in a way, is what a strongly-typed language compiler does IMHO.