LLMが安全なCを書けるならRust不要？　型システム価値をめぐる議論が再燃

X上で「LLMが完璧に安全なCを書けるようになればRustは不要では」という問題提起に対し、Hideyuki Tanaka氏らが型システムや所有権による認知負荷の低減はLLMにも有効だと反論し議論が活発化した。生成モデルが一時的に正しいパッチを出せても、長期保守・API境界・並行性の制約をコードベース全体で強制する仕組みとしては言語機能の方が強い、という実務視点が共有されている。一方でGoogleが2026年にAIを活用してCライブラリをRustへ書き換える取り組みを進めていることも引き合いに出され、「生成AIがあるから安全言語が要らない」のではなく「生成AIと安全言語を組み合わせて脆弱性を減らす」流れが現実的だとの見方が多い。LLM時代でも言語の静的保証は捨てにくい、という再確認の議論になっている。