Microsoft、TypeScript 7を発表　Go言語への移植でコンパイル速度が最大12倍に高速化

何が発表されたのか

Microsoftのテクニカルフェローであり、C#やTypeScriptの生みの親として知られるアンダース・ヘルスバーグ（Anders Hejlsberg）氏が動画に登壇し、次世代仕様となる「TypeScript 7」の最新コンパイラ性能を自らデモンストレーションしました。

従来のTypeScriptコンパイラ（tsc）はJavaScript/TypeScript自体で記述されており、Node.js環境上で動作する構造となっていました。これに対しTypeScript 7では、コンパイラおよび関連ツールのコアエンジンをGo言語によるネイティブコードへ完全移植する大きな構造転換が図られています。

動画内で示された検証結果によると、従来のTypeScript 6で約50秒を要していた大型プロジェクトのコンパイルが、TypeScript 7では5秒未満で完了します。これは単なるマイナーチェンジではなく、開発現場のビルドパイプラインの概念を根本から変革するメジャーアップデートです。

TypeScript 6との後換性を99.99%保持しながら、実行速度のみを10倍以上に引き上げるという、極めて実用的かつ影響力の大きい開発成果となっています。

発表された機能・アップデートの全容

1500万行規模の巨大コードベースを全コアで満遍なく並列処理

動画の冒頭、ヘルスバーグ氏は「お気に入りのスクリーンショットの一つ」として、Linux上のリソースモニタ（htop）の画面を提示しました。この環境は32コアCPUと128GBのRAMを搭載したビルドマシンであり、そこで1500万行に及ぶTypeScriptのコードベースをコンパイルしている状態を示しています。

画面に映し出された32個のCPUコアの稼働率は、すべてのコアが95%から98%という極めて高負荷な状態を維持しています。従来のNode.js単一プロセスによる処理では、どれほどコア数の多い高性能サーバーを導入しても、特定の1コアしか活用できずCPUリソースが無駄になる課題が存在していました。

TypeScript 7ではアーキテクチャの刷新により、マルチコアCPUの全演算リソースを限界まで使い切る並列実行性能を実現していることが可視化されました。

VS Codeの230万行ソースコードを用いたリアルタイム比較検証

高速化の具体的な実証として、姉妹プロジェクトであるエディタ「Visual Studio Code（VS Code）」の実ソースコードを用いたライブコンパイルが実施されました。VS Codeのコードベースは、約8,000個のファイル、合計約230万行（画面の診断出力では269万行の処理範囲）に達する極めて広大なTypeScriptアプリケーションです。

まず、従来型のTypeScript 6コンパイラ（tsc6）を使用し、型出力を行わない設定（-noemit -diagnostics）でコンパイルが実行されました。その結果、パース時間に8.54秒、型チェック時間に36.69秒を要し、全体のコンパイル時間は「47.45秒」となりました。大規模開発において、この40秒以上の待ち時間は開発者の集中力を削ぐ大きなボトルネックとなっていました。

TypeScript 7による標準実行で7.5倍のスピードアップを達成

続いて同じマシン環境上で、新アーキテクチャを採用したTypeScript 7（バージョン7.0.2）による実行が行われました。何ら特別なオプションを指定しない標準の実行状態において、型チェック処理は一瞬で進行し、全体の処理時間は「6.509秒」で完了しました。

この時点で、TypeScript 6との比較において約7.5倍の高速化が達成されていることが数値として示されました。さらに、画面上のログ出力（Parse time: 0.796s, Check time: 5.470s）が示す通り、ファイルを解析する構文解析（パース）の段階から型検証（チェック）の段階に至るまで、すべてのフェーズで処理時間が桁違いに短縮されていることが確認できます。

チェッカー数のチューニングによる最大12倍（4.52秒）への加速

ヘルスバーグ氏は「10倍速くなると申し上げましたが、その理由を説明します」と語り、さらなる設定の調整を実演しました。TypeScript 7はデフォルト状態において4つの型チェッカー（type checker）をスレッドとして立ち上げ、ファイルを分割して並行処理を行う設計となっています。

今回の検証用PCが16コアを搭載したマシンであることを踏まえ、コマンドライン上で「-checkers 12」というフラグを追加し、並列実行する型チェッカーの数を12に増やして再実行しました。

その結果、型チェック時間が3.092秒まで縮小され、トータルの処理時間は「4.527秒」を記録しました。これは従来の47.45秒に対して約12倍（12x）の高速化に相当します。開発者は手元のマシン環境のコア数に応じてパラメータを調整することで、ビルド時間を限界まで削り取ることが可能になります。

旧コンパイラと同等のメモリ消費量を維持する高効率設計

一般的に処理の並列化や高速化を行うと、メモリの使用量が飛躍的に増加するトレードオフが発生しがちです。しかしヘルスバーグ氏は、TypeScript 7のメモリ効率についても強いこだわりを明かしました。

デモ画面に表示されたメモリ割り当て値（Memory used）を確認すると、12並列で高速処理を行った場合でも、従来の単一スレッドで動作していた旧コンパイラとほぼ同等のメモリ領域しか消費していません。ネイティブコード化による構造体のメモリレイアウト最適化とポインタ処理により、リソースを無駄に食いつぶすことなく最高速度を叩き出す設計が完成しています。