コンパイル時にコンパイラが型チェックなどを...

冗長な気がしました。

    コンパイル時に型チェックなど...

など