"How types make hard problems easy" (or at least reduce cognitive load over time)

I can often implement 80% of a new feature without ever running the code.

I really love how they then go and invent their own TDD acronym to justify this. Types are proofs, and they replace a whole category of borderline superficial tests with useful assertions, but claiming that you implement a

<random number>

% of a feature when you haven’t once verified it is… a reason I regularly cuss at code and remain employable. Keep it up.