BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.coscup.org//coscup-2026//talk//BQXC39
BEGIN:VTIMEZONE
TZID:CST
BEGIN:STANDARD
DTSTART:20000101T000000
RRULE:FREQ=YEARLY;BYMONTH=1
TZNAME:CST
TZOFFSETFROM:+0800
TZOFFSETTO:+0800
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-coscup-2026-BQXC39@pretalx.coscup.org
DTSTART;TZID=CST:20260809T135500
DTEND;TZID=CST:20260809T143500
DESCRIPTION:你有沒有遇過 TypeScript 明明沒報錯，但程式在 ru
 ntime 壞掉的經驗？\n\n你以為是 bug，其實是 feature。\n\nTyp
 eScript 的官方 Non-goals 第一條就寫著：「我們不追求 sound 
 或可被證明正確的型別系統，我們選擇在正確性與生產
 力之間取得平衡。」換句話說，TypeScript 從一開始就沒打
 算讓你的程式完全安全。\n\n這場議程會帶你看幾個 TypeSc
 ript 刻意「不安全」的真實案例，每個案例都會解釋：為
 什麼 TS 團隊選擇這樣設計、代價是什麼、以及你可以怎
 麼防禦。\n\n最後會帶到 TypeScript 7 的 erasable syntax，說明
 這個語言正在回頭確認自己的邊界——理解這件事，是
 從「會用 TypeScript」到「真正理解 TypeScript」的分水嶺。
DTSTAMP:20260713T142500Z
LOCATION:TR311
SUMMARY:你以為是 bug，其實是 feature：TypeScript 為什麼故意不是一個安全的型別系統？ - Lois
URL:https://pretalx.coscup.org/coscup-2026/talk/BQXC39/
END:VEVENT
END:VCALENDAR