コンテキストから推論される型が型アノテーションに厳密に一致していない場合、型宣言は不要です。たとえば、次のような場合です。
var pi: number = 3.14
常に明示的な型を記述するのが望ましい場合もあります。明示的な型があれば誤った型の変更を防ぎ、コードをより明示的にすることができます。