请阐述 Scala 类型系统的设计要点，并说明类型参数在增强代码通用性方面的具体作用与机制。

回答思路

1. 【回答框架 1】Scala 类型系统以 JVM 类型系统为基础，融合了面向对象与函数式编程的类型特性。其设计核心包括：所有值都是对象，类型分为值类型与引用类型；支持类型推断，能够根据上下文自动推导表达式类型，减少显式标注；通过类的参数化实现泛型，即类型参数。
2. 【回答框架 2】类型参数用于定义泛型类、特质和方法，允许在不指定具体类型的情况下编写通用逻辑，从而提升代码的复用性与抽象能力。例如，List[T] 中的 T 是类型参数，可实例化为 Int、String 等任意类型，使同一算法适用于多种数据类型。
3. 【回答框架 3】Scala 类型系统还提供了强大的类型变体机制：协变（+T）表示类型参数与容器类型同方向变化，逆变（-T）表示反方向变化，不变则保持一致。变体约束保证了类型安全性，使集合类能够灵活适应继承关系。
4. 【回答框架 4】此外，Scala 支持类型上界与下界，通过类型界限（如 T <: AnyRef）限制类型参数的范围，结合隐式参数与上下文边界，可实现类型类模式，在编译期提供更精确的类型约束与能力扩展。
5. 【回答框架 5】类型系统还包含高级特性，如路径依赖类型、抽象类型成员和类型投影，这些机制使得类型能表达更复杂的结构关系，进一步强化类型安全与抽象能力，但过度设计也会增加理解与编译复杂度。
6. 【关键点 1】Scala 类型系统结合了 OO 与 FP 的特性，支持类型推断。
7. 【关键点 2】类型参数实现泛型，提高代码复用性与抽象层次。
8. 【关键点 3】协变、逆变与不变机制确保泛型类型安全的灵活使用。
9. 【关键点 4】类型界限与隐式参数支持类型类模式，增强编译期约束。
10. 【关键点 5】高级类型特性如路径依赖类型可表达复杂类型关系。
11. 【易错点 1】默认类型参数是不变，错误使用协变或逆变可能引入类型不安全。
12. 【易错点 2】复杂类型设计可能增加编译时间和代码理解难度，需权衡抽象与简洁。