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