面向类型编程是一种范式，它涵盖了面向对象和函数式方法来编写静态类型代码。此类别的多数编程语言广泛使用子类型和参数多态性。
本资料介绍了基本概念，其中多数概念来自面向对象和函数式语言，然后继续解释在具有强大类型系统的语言中使用的一些更复杂的技术。
面向类型编程的可打印版本可用。 (编辑它)
类型和属性
实例方法
类型方法
受限属性
函数类型
代理
类型参数
类型级别的“自我”
类型变异
有界类型参数
函子
单子
单子变换器
