2022年11月1日
Coursera Programming Languages, Part C 华盛顿大学 Week 3
摘要： 整个系列课程的最后一小结！ 介绍了之前在 interface 中所提到的 subtype 系统以及其与 ML 中 generics 的不同 introduction to subtyping 在之前的课堂中 (主要是 Part A)，我们了解了 FP 中的静态类型，尤其是 ML 中的 type sy 阅读全文
posted @ 2022-11-01 18:02 四季夏目天下第一 阅读(45) 评论(0) 推荐(0) 编辑