这一周没作业,水过去了
1.主要是学了ML的类型推导,包括多态类型的推导.其实就是通过代码收集所有的facts来进行推导 2.mutual recursion,通过and 关键字来进行多重递归 3.介绍了ML的模型系统,介绍了抽象和封装,利用structure关键字和signature来实现 4.最后讨论了equivalent