Exploiting Scala Type System: Building Type-Level Automaton

Scala 的型別系統在 JVM 生態系中獨樹一幟，但也因為其強大的功能讓開發者時常不知道如何運用這個優勢去開發型別上更加安全的程式。

在這個 session 中，將會簡單介紹 Scala 型別系統，並利用其底層的推導邏輯打造一個型別安全的自動機，初步帶領開發者理解型別系統並開發的擁有進階型別安全的程式。