じゃあ、ここらで静的型付けがあると何が出来るか
まとめておこうか。

・間違ったメソッド名を検出できる。
・間違った引数を検出できる。
・間違った戻り値を検出できる。
・仕様変更時に影響がある箇所を検出できる。
・コーディング時に型が持っているメソッド・引数を補完できる。ドキュメントのポップアップ表示もある。
・メソッド・変数名の変更時に、影響がある箇所を検出、自動的に変更できる
・クラスやインターフェースの継承時に、テンプレートを自動作成できる。

言語やエディタによって多少の違いはあるがだいたいこんな所