programming language part a 第五周总结

知识点

这一周没作业,水过去了

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

【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/tclan126/p/8757661.html