Static types and shovels
Summary
The post argues that static typing has become more useful as type systems improved (nullability, sum/union types, type inference) and contrasts older static systems with modern languages like TypeScript, Haskell, Swift, and Rust. It notes that IDE features amplify the productivity benefits of static typing and concludes that while good dynamic typing can be preferable, current static type systems are significantly better than those of previous decades.