AIコーディングの台頭によって、自由度の高い「動的型付け」は技術的負債になりかねない。「GitHub」で急成長する「TypeScript」が、AIコーディングの精度と現場の安全性を確立する理由に迫る。