使用 LLM 將 TypeScript 編譯器、檢查器與 LSP 移植至 Rust

Port of the TypeScript compiler, checker and lsp to Rust, by LLM

github.com · 2026-10-08

摘要

一項引人注目的實驗展示了如何利用大型語言模型（LLM）自動將 TypeScript 編譯器、類型檢查器及語言伺服器協議（LSP）從 JavaScript 移植到 Rust。這項成果不僅證明了 AI 在處理複雜、高耦合度程式碼重構上的強大能力，也為開發者提供了一個極具參考價值的自動化重構範例，顯示 AI 已能勝任傳統上需要深厚領域知識的系統級工程任務。

一項實驗性專案顯示，大型語言模型能處理複雜的程式碼移植。開發者利用 LLM，把 TypeScript 編譯器、類型檢查器和語言伺服器協議（LSP）從 Go 移植到 Rust，並在真實世界專案中達到完全相容。

移植過程與成本

這項工作花了超過 42 萬美元的語言模型 API 費用。開發者一開始用多個 OpenAI 模型嘗試，投入超過 40 萬美元的 API 成本。這些模型產出超過 130 萬行 Rust 程式碼，但相容度最後停在 84% 左右。

後來改用 Opus 5.5，10 小時內就做出第一個可運行的版本。Opus 5.5 從零開始重寫，進度遠超之前的模型。最終 API 成本約 24,047 美元，耗時兩週，用量相當於該帳戶每週 200 美元方案限額的 9 到 10 倍。成本雖高，但考慮到 typescript-go 投入的工作量，並沒有那麼糟。

功能特性與相容性

該專案名為 ts-rust（亦稱 tsc-rs），直接移植自微軟的 TypeScript 編譯器原生版本，保留 Go 版本的演算法與行為，並提供相同的命令列介面（tsc）、語言伺服器和 API。

安裝方式是透過 npm 套件，執行 `npx tsc-rs -p tsconfig.json`。移植版本是針對 TypeScript 7.1.0-dev（2026 年 9 月 29 日）進行，並與該版本做對照比較。在 120 個開源倉庫的測試中，命令列輸出與原版本幾乎完全一致，只在已知問題，以及原版本本身不穩定（輸出每次執行都不同）的情況下有差異。

性能表現

在類型檢查速度上，tsc-rs 在 60 個開源專案上的幾何平均值，約為原版本（Go 編譯器）耗時的一半。在 6 個主要開源專案的詳細測試中：

- VS Code：tsc-rs 耗時 4.20 秒，比 tsc 6 快 13.0 倍 - Sentry 前端：tsc-rs 耗時 4.46 秒，快 13.2 倍 - Playwright：tsc-rs 耗時 0.34 秒，快 13.2 倍 - Excalidraw：tsc-rs 耗時 0.70 秒，快 7.6 倍 - TypeORM：tsc-rs 耗時 0.36 秒，快 10.7 倍

與 tsc 7（Go 編譯器）相比，tsc-rs 平均快 1.61 倍。

已知限制

該移植版本在某些情況下有已知問題：

- 在部分單體倉庫中，如果工作區套件的原始檔同時能透過 node_modules 和直接匯入兩種路徑取得，tsc-rs 可能為更多檔案寫入輸出，並報告 TS6059 錯誤。 - 在 `tsc -b` 模式下，如果一個專案在沒有專案參考的情況下匯入另一個專案的輸出，tsc-rs 可能讀到舊版或遺失的輸出。 - 在編輯器中長時間編輯時，記憶體會緩慢增長，約每 1,000 次編輯增加 20 MiB。