TypeScript 6.0 — JavaScript版の最終幕
2026年3月23日にリリースされたTypeScript 6.0は、JavaScriptベースのコンパイラとしての最終メジャーバージョンです。 14年間の歴史で蓄積されたレガシーオプションを整理し、TypeScript 7.0(Go版)への橋渡しとなる重要なリリースです。
新しいデフォルト値(9項目の変更)
| オプション | 旧デフォルト | 新デフォルト(6.0) |
|---|---|---|
| strict | false | true |
| module | 暗黙 | esnext |
| target | 暗黙 | es2025 |
| moduleResolution | 暗黙 | bundler |
| esModuleInterop | false | true |
| types | 全て含む | [](空配列) |
| rootDir | 暗黙 | tsconfig のディレクトリ |
| noUncheckedSideEffectImports | false | true |
| libReplacement | true | false |
廃止された機能(TypeScript 7.0で完全削除予定)
| 廃止対象 | 代替 |
|---|---|
| target: es5 | 最低ターゲットがES2015に引き上げ |
| moduleResolution: node (node10) | bundler または node16 を使用 |
| moduleResolution: classic | bundler または node16 を使用 |
| module: amd / umd / systemjs | esnext を使用 |
| --outFile | バンドラー(Vite等)を使用 |
| import assertions(assert) | import attributes(with)に置換 |
TypeScript 7.0 — Project Corsaの全貌
2025年3月にAnders Hejlsbergが発表したProject Corsaは、 TypeScriptコンパイラとLanguage ServiceをGoで完全に書き直すプロジェクトです。 TypeScript史上最大の転換点であり、約10倍の高速化を実現します。
パフォーマンスベンチマーク
| プロジェクト | コード行数 | 現行版(tsc) | Go版(tsgo) | 高速化倍率 |
|---|---|---|---|---|
| VS Code | 1,505,000行 | 77.8秒 | 7.5秒 | 10.4x |
| Playwright | 356,000行 | 11.1秒 | 1.1秒 | 10.1x |
| TypeORM | 270,000行 | 17.5秒 | 1.3秒 | 13.5x |
| date-fns | 104,000行 | 6.5秒 | 0.7秒 | 9.5x |
| エディタ起動時間 | — | 9.6秒 | 1.2秒 | 8x |
なぜGoが選ばれたのか
Anders Hejlsberg自身が複数の言語を評価した結果、Goが最適と判断されました。
| 観点 | Go ✅ | Rust ❌ | 理由 |
|---|---|---|---|
| 既存コードからの移植 | 構造的に類似 | 所有権モデルが大幅に異なる | TSのコードパターンがGoに自然に対応 |
| メモリ管理 | GC付き(移植負荷低) | 手動管理(全面書き換え必要) | TSはGC前提で設計されている |
| 循環データ構造 | 自然に扱える | Rc<RefCell<T>>等が必要 | AST操作で循環参照は頻出 |
| ネイティブ性能 | 高い | 最高 | Goで十分な10倍高速化を達成 |
Ryan Cavanaugh(TypeScript開発リード)曰く: 「Rustはその設計目標において非常に成功しているが、『この特定のJavaScriptコードベースからの移植が容易であること』はRustの設計目標ではない」
TypeScript 7.0のアーキテクチャ変更
| 変更点 | 内容 |
|---|---|
| LSP移行 | VS Code固有プロトコルから標準Language Server Protocolへ |
| 並列処理 | Goのgoroutineを活用した並列型チェック |
| メモリ削減 | 使用量が約50%削減(最適化前の数値) |
| レガシー廃止 | TS 6.0で非推奨のオプションを完全削除 |
TC39 Type Annotations提案 — JavaScriptに型構文を
TC39(ECMAScript標準化委員会)では、JavaScriptにTypeScript風の型注釈構文を追加する提案が議論されています。 しかし2026年3月時点でStage 1のまま停滞しており、「この提案は死んだのでは?」という議論も発生しています。
| 観点 | 内容 |
|---|---|
| ステージ | Stage 1(2022年3月〜進展なし) |
| 構文 | TypeScriptの型注釈と非常に近い(: number, : string 等) |
| ランタイム動作 | 型注釈はコメントとして完全に無視される |
| TypeScriptとの差異 | enum, namespace等ランタイムコードを生成するTS構文は対象外 |
| 実現した場合の影響 | ビルドステップなしでTSコードをブラウザで直接実行可能に |
AI時代のTypeScript — 型安全性の新たな価値
AI/LLMによるコード生成が普及する中、TypeScriptの型システムは新たな価値を持ち始めています。
型がAIのコード品質を守る
ETH ZurichとUC Berkeleyの研究によると、LLMが生成したコードのコンパイルエラーの94%は型関連エラーであり、 TypeScriptが自動的にキャッチします。型システムは「厳格なシニアエンジニア」のように、 タイトなフィードバックループでAIが生成したコードの品質を担保します。
graph LR
A[AI / LLM] -->|コード生成| B[TypeScript\nソースコード]
B --> C{tsc 型チェック}
C -->|✅ 通過| D[安全なコード]
C -->|❌ エラー| E[94%が型関連\n自動検出]
E -->|フィードバック| A
style A fill:#8b5cf6,stroke:#7c3aed,color:#fff
style C fill:#eab308,stroke:#ca8a04,color:#000
style D fill:#22c55e,stroke:#16a34a,color:#fff
style E fill:#ef4444,stroke:#dc2626,color:#fffAnders Hejlsbergの見解
TypeScriptの型情報は、AIにとってコードベース全体のナレッジグラフとして機能します。 型が明確に定義されたコードベースでは、AIはより正確な補完・リファクタリング・バグ修正を提供できます。 GitHub Blogも、TypeScriptのGitHub第1位到達とAI支援開発の間に相関関係があると報告しています。
学習ロードマップ — 初学者から上級者へ
初級(0-3ヶ月)
| トピック | リソース |
|---|---|
| TypeScript基礎(型注釈、インターフェース、ジェネリクス) | TypeScript公式ハンドブック |
| tsconfig.json の理解 | TSConfig Reference |
| Node.js 24+ で node app.ts 直接実行 | Node.js公式ドキュメント |
| Vite + TypeScript でプロジェクト構築 | Vite公式テンプレート |
| ESLint/Biome によるコード品質管理 | Biome公式 / typescript-eslint |
中級(3-9ヶ月)
| トピック | リソース |
|---|---|
| ジェネリクスの実践活用 | Effective TypeScript(書籍) |
| Discriminated Unions, Mapped Types, Conditional Types | TypeScript公式ドキュメント |
| Drizzle/Prisma でのDB型安全操作 | Drizzle公式 / Prisma公式 |
| tRPC/Hono でのAPIサーバー構築 | tRPC公式 / Hono公式 |
| Vitest でのテスト駆動開発 | Vitest公式 |
上級(9ヶ月以降)
| トピック | リソース |
|---|---|
| 型レベルプログラミング | type-challenges (GitHub) |
| tsgo の仕組み理解 | GitHub: microsoft/typescript-go |
| Declaration file の作成とライブラリ公開 | tsdown公式 |
| End-to-End型安全アーキテクチャ設計 | T3 Stack |
| コンパイラ内部の理解 | TypeScript Compiler Notes |
| OSSコントリビューション | TypeScript, Drizzle, Hono等 |
総括 — TypeScriptの14年間と未来
TypeScriptは、Anders Hejlsbergの「実用主義」という一貫した設計哲学のもと、 14年間で懐疑的な少数派からGitHub第1位の言語へと成長しました。
型の健全性を意図的に捨てた代わりに、JavaScriptエコシステムとの完全な互換性を手に入れ、 漸進的な型付けで大規模コードベースの現実的な移行を可能にしました。 そして今、Go移植による10倍の高速化とAI時代の型安全性の新たな価値により、 TypeScriptの重要性はさらに高まっています。
理解度チェック
TypeScript 7.0(Project Corsa)のコンパイラはどの言語で書き直されていますか?
キーボード: 1〜4 で選択、Enter で回答