C言語もポインタ経由したりすると型無視されたりしてしまうし
C++もテンプレート使いまくると動的型みたいな状態になるな