type-level-correctnessunitstypescriptzero-cost-abstractions 數字不只是數字:如何讓編譯器抓出單位錯誤 該傳秒數的地方傳了毫秒,這種 bug 能通過所有測試。以下介紹如何將單位直接編碼進 TypeScript 的型別系統,讓混用在編譯階段就失敗,且執行期零成本。 某個函式要求以毫秒為單位的超時時間。你傳入 。稍後,另一個函式要求以秒為單位的超時時間。你傳入 。在這之間的某處,你呼叫了 ,結果整整一小時又二十三分鐘什麼事都沒發生。 TypeScript 在這裡幫不上忙。 和 都是… 2026年6月17日