前スレで書いた
型はコード解析しやすくするために必要
コード解析しやすくなると開発ツールの実装が楽になる
IDEの機能はデフォで充実、自分で拡張したり新規に作るのも楽
充実した開発環境は開発効率を向上させる

誰も反論しないから定理として扱っていいと思ったのに
いまさら反論されても困る