TypeScriptとは

JavaScriptのスーパーセットとなるプログラミング言語。
静的型付け言語であり、プログラムの正しさが静的に検査できる。
ライブラリやIDEなどの開発環境が充実しており、大きなエコシステムを持っている。
Microsoftが2012年に開発し、オープンソースで公開した。

※ 補足
IDEとは "Integrated Development Environment"（統合開発環境） の略
プログラムを書く、テストする、デバッグするなどの作業を効率よく行うための ツールがひとまとめになっているソフトウェア のこと
有名なIDEはVisual Studio Code（厳密にはエディタですが、拡張でIDEのように使える）
簡単に言えば、「プログラムを書くのに便利な道具が全部入っている作業スペース」

静的型付け言語と動的型付け言語の違い
結論→ 「変数の型をいつ決めるか」

静的型付け言語（実行前に型が決まる）

• 変数の型をあらかじめ指定する必要がある。
• コンパイル時に型チェックされる。
• エラーが早く見つかりやすい。
• 例：Java, C, C++, TypeScript, Rust

動的型付け言語（実行中に型が決まる）

• 変数の型を書かなくてもOK。
• 実行時に型が判定される。
• 書くのが早いが、型ミスに気づきにくい。
• 例：Python, JavaScript, Ruby