引き続き前の例について考えてみましょう。コンパイラは、割り当てられた値の型に基づいて型を推論することができます。静的に型付けされた言語です。型はコンパイル時に解決され、変更されることはありません。クラスに含まれない関数を呼び出すことはできません。型の変数でのみ呼び出し可能な関数です。安全に呼び出すことができます。簡潔性と型の安全性を両立させる方法で、型の推論が行われます。一部の言語では、初期の明示的な値を指定せずに参照型変数を宣言できます。