057 · TypeScript 稱霸應用層
從 GitHub 語言排行與 coding agent 的崛起出發,主張 TypeScript 正逐步取代 Python,成為 AI 應用層的首選語言。
原標題:A Song of Types and Agents - Roberto Stagi, Ratel
重點摘要
- 應用層是 TypeScript 的地盤AI 訓練、研究與 GPU serving 仍留在 Python 手上,但貼近使用者、真正出貨的應用層,這幾年已經轉向 TypeScript。
- GitHub 排行證實這個轉向2024 年 Python 登頂 GitHub 最多人用的語言,2025 年 8 月換 TypeScript 反超,兩年官方報告給的理由都是 AI。
- coding agent 是背後推手2024 到 2025 年間 coding agent 站穩腳步,它們預設產出的程式碼多半是 TypeScript,帶著開發者一起換語言。
- 一套語言打通前後端TypeScript 能讓 agent loop、工具與前端 UI 共用同一份型別(例如用 Zod 定義一次到處用),不必像 Python 那樣拆成兩套系統再手動同步。
- npm 與 AI 生態系是加分項TypeScript 能直接接上 npm 上驗證、金流、UI 等現成套件;Vercel 的 AI SDK 下載量一年內成長 9 到 10 倍,也是佐證。
- 結論援引 Atwood 定律講者引用 Jeff Atwood 多年前的說法,主張連 agent 應用最終都會被寫成 JavaScript,現在不跟上可能落後。
時間軸
時碼點下去會跳到影片的那一段。
| 時碼 | 段落 | 重點 |
|---|---|---|
| 00:00 | 開場 | 講者 Roberto Stagi 開場破題:這是一場關於 TypeScript 與 Python 語言之爭的演講,主張 TypeScript 正在勝出。 |
| 00:24 | 過去的共識 | 幾年前做 AI 開發幾乎只用 Python,其他語言都得讓路。 |
| 02:00 | 講者背景 | 自我介紹身分:Ratel 的共同創辦人兼 CTO,也是一個 AI 社群的歐盟大使。 |
| 02:30 | 應用層轉移 | AI 從訓練、機器學習等基礎建設層,逐漸往應用層移動;而應用層長期是 TypeScript 的地盤。 |
| 04:32 | GitHub 排行反轉 | 2025 年 8 月,TypeScript 在 GitHub 上超越 Python,成為使用人數最多的語言。 |
| 05:45 | coding agent 帶動風向 | 2024 到 2025 年間 coding agent 站穩腳步,而它們預設產出的程式碼多半是 TypeScript。 |
| 07:44 | 越用越準 | coding agent 訓練資料裡 TypeScript 應用越來越多,代表這些工具在 TypeScript 上只會表現得更好。 |
| 08:37 | npm 生態系優勢 | TypeScript 能直接接上 npm 上驗證、金流、UI 等現成套件,是最豐富的套件庫。 |
| 09:13 | 一套語言貫穿全端 | 用 TypeScript 能讓 agent loop、工具與前端 UI 共用同一份語言,不必像 Python 那樣拆成後端與前端兩套系統再手動同步。 |
| 10:53 | 生態系成長佐證 | 以 Vercel 的 AI SDK 為例,一年內下載量從 160 萬成長到 1510 萬次,成長 9 到 10 倍。 |
| 12:11 | 援引 Atwood 定律 | 引用 Jeff Atwood 多年前「任何能用 JavaScript 寫的應用最終都會被寫成 JavaScript」的說法,主張連 agent 應用都會走向這個結局。 |
| 13:45 | 結語 | 講者提醒:現在不擁抱 TypeScript 打造 agent 與應用,之後可能落後,並邀請聽眾交流意見。 |
值得記的話
名詞與人物
| TypeScript | 這場演講主張的 AI 應用層首選語言,JavaScript 加上靜態型別的超集。 |
|---|---|
| Python | AI 模型訓練、研究與 GPU serving 至今仍以它為主。 |
| Ratel | 講者共同創辦並擔任 CTO 的公司,做 AI agent 的 context layer。 |
| npm | JavaScript 生態系的套件管理平台,講者稱它是最豐富的套件庫。 |
| Zod | TypeScript 的 schema 驗證函式庫,可讓前後端共用同一份型別定義。 |
| Vercel AI SDK | 用來串接 AI 模型的 TypeScript 套件,講者用它的下載量成長佐證 TypeScript 生態系的擴張。 |
| Jeff Atwood | Stack Overflow 共同創辦人,講者引用他多年前的說法作為結論。 |
| Bun | JavaScript runtime,講者提到 2025 年 12 月被一家 AI lab 收購,當作 AI 業界押注 JavaScript 生態系的例子。 |
| AI Socratec | 一個全球性的 AI 開發者社群,每月聚會討論 AI 近況,講者是它的歐盟大使。 |
延伸
- Vercel 的 AI SDK 下載量成長,只提了數字,沒有說明是哪些功能帶動成長。
- Anthropic 收購 JavaScript runtime 的事,只提了時間點,沒有展開說明後續影響。
- Zod 作為單一 schema 串接前後端的做法,只講了概念,沒有展示實際程式碼範例。