[pansa2]

I think it’s really interesting that as dynamically-typed languages increasingly encourage explicit type hints, statically-typed languages are recommending “almost always auto”.

[logicchains]

In dynamically typed languages, adding types can stop things blowing up at runtime. In compiled languages, all the type-inference is still done at compile time, so if it compiles than you're not going to get a crash from accidentally adding a string to an integer at runtime.

[Koshkin]

The template language is weakly typed and code written in it, too, can “crash” when it runs (which is the compilation time) for the same reasons.