Re:I still love PHP and JavaScript
by artificialLimbs on Wednesday August 03, 2022 @10:03AM
(#32331798)
That's runtime type checking, which is a completely different thing and doesn't fit the analogy. Runtime type checking helps you fail fast, which hopefully prevents undefined behaviour and data corruption, and can help with fault localisation (some hardcore type theorists would even argue that runtime types aren't really "types" per se, but more like tags).
Compile-time type checking is a soundness proof of your program, which is an entirely different thing.
I respect that some people accept dynamic typing as a better tradeoff for various reasons (I've worked with Ruby for many years before I discovered my love for type systems), but to me that statement reads similar to:
"No long CI builds because we skip all the tests."
:)