型システムなんてコンパイラが十分賢ければ
静的だろうが動的だろうがどうでもいい

今時、最低点の型推論もしないような糞コンパイラは捨てろよ
高級言語名乗る資格なし >> ほとんどの C++

# C は高級アセンブラなので許す