例えば、極端な例で、型書くのが1秒で、型書かないで、毎回のコンパイルで型推論に1秒かかるなら、どちらを選びますかってなるんですよ (edited)