你以為是 bug，其實是 feature：TypeScript 為什麼故意不是一個安全的型別系統？
- Time
- 2026-08-09 13:55 ~ 14:35
- Speaker
- Lois
- Room
- TR311
- Co-write
Abstract
你有沒有遇過 TypeScript 明明沒報錯，但程式在 runtime 壞掉的經驗？
你以為是 bug，其實是 feature。
TypeScript 的官方 Non-goals 第一條就寫著：「我們不追求 sound 或可被證明正確的型別系統，我們選擇在正確性與生產力之間取得平衡。」換句話說，TypeScript 從一開始就沒打算讓你的程式完全安全。
這場議程會帶你看幾個 TypeScript 刻意「不安全」的真實案例，每個案例都會解釋：為什麼 TS 團隊選擇這樣設計、代價是什麼、以及你可以怎麼防禦。
最後會帶到 TypeScript 7 的 erasable syntax，說明這個語言正在回頭確認自己的邊界——理解這件事，是從「會用 TypeScript」到「真正理解 TypeScript」的分水嶺。
Speaker
