Shapeless

Shapeless 是一个用于 Scala 的类型级编程库，提供使用类型类和宏进行泛型编程的功能。它允许在编译时对数据结构进行类型安全的操作和转换，利用 Scala 的类型系统。Shapeless 以使用 HLists（异构列表）和支持类型级计算而闻名，使其成为 Scala 高级类型级编程的基石。