>>高度な型推論とOOP的クラスに由来する静的型付けの導入(と実装コスト)はトレードオフだ
なんか言ってることめちゃくちゃじゃないか?