ml4 Type Inference and module

类型变量能帮助实现多态

可以有类型推断但没有类型变量

也可以有类型变量没有类型推断

推断类型会在ref的时候失效，因为ref可以改变，因为无法辨认ref类型，因为模块可以隐藏类型，所以设计在全部值绑定的时候，会限制只有表达式为变量或值的时候才可以是多态类型，函数就不会以多态限制(ref 是函数)

相互递归问题，在实现状态机时两个状态间的切换，但没有中间状态变量，提供一个新的特性and，那两个函数的定义就不会分先后顺序