TypeScript ＝ JavaScript ＋ 型

実行する前に間違いを見つける

なぜ型

実行前にエラー検出 / 補完が効く / リファクタが安全

動かし方（テキスト図）

[.ts] ──tsc でコンパイル── [.js] ──node── 実行
↑ 型チェックはここ ↑ 実行されるのは JS

まとめ

型は「コンパイル時の安全網」。実行時はあくまで JS。