The New Blub Paradox, or: Why TypeScript Is a Poor Choice for the AI Era
Summary
The article argues that defaulting to TypeScript in the AI era is a misstep due to its unsound type system, which can hinder correctness when code is generated by AI. It contrasts TypeScript with sound languages (like Haskell, Rust, Scala) and highlights security risks in the npm ecosystem, including self-propagating malware and supply-chain attacks. The piece emphasizes that soundness and machine-enforceable guarantees are crucial as AI-assisted development scales.