BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.coscup.org//coscup-2026//talk//S8HXVH
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-S8HXVH@pretalx.coscup.org
DTSTART;TZID=CST:20260808T101000
DTEND;TZID=CST:20260808T104000
DESCRIPTION:Scala 的型別系統在 JVM 生態系中獨樹一幟，但也
 因為其強大的功能讓開發者時常不知道如何運用這個優
 勢去開發型別上更加安全的程式。\n\n在這個 session 中，
 將會簡單介紹 Scala 型別系統，並利用其底層的推導邏輯
 打造一個型別安全的自動機，初步帶領開發者理解型別
 系統並開發的擁有進階型別安全的程式。
DTSTAMP:20260713T142443Z
LOCATION:TR412-2
SUMMARY:駕馭 Scala 型別系統：在型別層打造自動機 - Kyle Lin
URL:https://pretalx.coscup.org/coscup-2026/talk/S8HXVH/
END:VEVENT
END:VCALENDAR