型の有用性

間違った型を検出することで引数などの取り違えを防ぐことができる。

型を見れば、その関数やクラスが何を目的としているのかがある程度わかる。

型の関係性を使えば、同じコードを使いまわすことができる。