型を教えられる仕組み

・関数の引数に型が明記されている。
・変数に型が明記されている。
・オブジェクトの生成から、型をチェックしたい箇所のコードすべてで型が明記されている。

この3つがないと、型チェックはできないからね。
コードのどこかで型情報がなくなったりしたら
意味なくなっちゃうし。

結局、プロジェクトの全部の箇所にちゃんと型を明記しないといけなくなるんだけど。