programming-languages学习笔记–第4部分
1 什么是类型推导
编译时的类型检查，防止一些错误。静态类型语言的特性。
动态类型语言较少或没有做这些检查，有可能在运行时将一个数字认为一个函数。
ML,Java,C#,Scala,C,C++都是静态类型的，所有的绑定在编译时确定。
动态类型语言在运行时做类型检查，在程序运行时确定类型。
ML是隐式类型，不需要写出类型。
2 ML类型推导
关键步骤：
- 按顺序确定类型绑定
- 除了相互递归
- 不能使用延迟绑定(later bindings):没有类型检查
- 对每个val或fun绑定:
- 分析所有必要事实(约束)的定义
- 例如:如果遇到x>0,那么x必须是int类型。
- 如果无法确定所有事实正确(过度约束)，则类型错误。
- 之后，对任何未约束的类型使用类型变量(例如‘a)
- 例如未使用的函数参数可以是任意类型。
- 最后，强制进行值约束