类型类

Scala 类型级编程实战：Shapeless、Match Types 与编译期计算

Scala 类型级编程的进阶地图：字面量类型、类型级函数（Nat/布尔/列表编码）、Scala 3 Match Types、类型类推导、Shapeless 的 HList/Coproduct 泛型推导，以及类型安全状态机与编译期校验实战。