scala课堂：类型与多态基础

• 什么是静态类型？它们为什么有用？
1. 类型允许你表示函数的定义域和值域。
• scala中的类型
1. 参数化多态性
2. 类型推断
3. 存在量化
4. 视窗
• 参数化多态性：
1. 多态性是在不影响静态类型丰富性的前提下，用来编写通用代码的。
2. scala有秩1多态性。
• 类型推断
1. scala中所有类型推断是局部的
• 变性 Variance
1. scala的类型系统必须同时解释类层次和多态性。类层次结构可以表达子类关系。
2. 变性注解允许你表达类层次结构和多态类型之间的关系。
• 边界
1. scala允许你通过边界来限制多态变量。
• 量化