駕馭 Scala 型別系統：在型別層打造自動機
Scala 的型別系統在 JVM 生態系中獨樹一幟，但也因為其強大的功能讓開發者時常不知道如何運用這個優勢去開發型別上更加安全的程式。
在這個 session 中，將會簡單介紹 Scala 型別系統，並利用其底層的推導邏輯打造一個型別安全的自動機，初步帶領開發者理解型別系統並開發的擁有進階型別安全的程式。
ChAoS UnItY (Kyle Lin)
目前擔任TWKUG志工，
主要研究編譯器領域及形式化證明。
閒暇時間喜歡研究 Functional Programming 等冷門技術。