Types with AI

Types with AI 2026-07-26 I’m a big fan of types. Properly implemented, they make a system honest, safe, agile, and delightful to work in and work with. They also have incredible influence over how code gets written. Properly harnessed, they can create a pit of success[1] for engineering orgs. Unfortunately it’s incredibly hard to directly measure their benefits. It’s almost always an uphill battle to convince teams and orgs to commit to fully utilizing types. So over the past few months as AI agents are straining traditional ways of working and the industry is contorting itself to better leverage LLMs, I’ve been getting more and more excited. Maybe, finally, the need is high enough to justify broader and deeper adoption of types.

…

Excerpt limited to ~120 words for fair-use compliance. The full article is at Alecvo.