静的型付けでもテストはいるけど数を減らせる
わざわざ機械がチェック出来る事を人がやる意味は？
あとオーバーヘッドどうのこうのって動的型付けの方がオーバーヘッドでかいやん