JSにコンパイルされる静的型システムが付いたJSの上位集合である
TSで作成されたものはJSにコンパイルされる。 ブラウザーやサーバー(ノード等)でTSを使いたい場合は、そのままTSを実行するのではなくJSに変換して実行するというプロセスになっている JSが動く環境はTSも動く
TSがJSに変換される時、型検査というものを用いる JSに変換される時、全体の型(変数、関数の戻り値、仮引数等)を検査する
TSという集合にJSが部分集合されている、つまりJSで書いたコードはTSでもある。