TypeScriptはJavaScriptを基にした言語で、コードが想定する情報の種類を開発者が記述できます。その記述により、プログラムの実行前に不一致を見つけやすくなります。
たとえば、数値を受け取る関数に日付が渡されると、TypeScriptはコードを書いている最中に警告することがあります。箱にラベルを貼ると、中身の間違いに気付きやすくなるのと似ています。
TypeScriptですべての不具合を防げるわけではなく、通常ブラウザーが実行するのはTypeScriptから生成されたJavaScriptです。追加の確認手段であり、プログラムが正しい保証ではありません。