JITコンパイラなんかは大抵型推論もやってるしなあ
動的型か静的型かは本質じゃないよな