型を強くすることで、コンパイルがソフトの検証になるんじゃん。