lan126

摘要： 知识点 这一周没作业,水过去了 1.主要是学了 ML 的类型推导,包括多态类型的推导.其实就是通过代码收集所有的facts来进行推导 2. mutual recursion ,通过 and 关键字来进行多重递归 3.介绍了 ML 的模型系统,介绍了抽象和封装,利用 structure 关键字和 si 阅读全文