In Support Of Shitty Types

The author discusses the complexities and challenges of integrating type systems with agentic coding tools, particularly in Rust and TypeScript. They argue that while strict typing systems are beneficial, they can be counterproductive when used with AI coding assistants, leading to wasted context and confusion. The author's observations suggest that simpler type systems, like those in Go, may provide better outcomes for both LLMs and developers. This reflection highlights the need for careful consideration in future language design to balance type expressiveness and usability for AI tools.