摘要：1.1 集合 这一节复习了高中关于集合的基础知识 介绍了一些新的概念 笛卡尔积 (Cartesian Product) 集合 $X$ 与 $Y$ 的笛卡尔积 (直积) $X \times Y$ 是指包含了所有第一个成员属于 $X$，第二个成员属于 $Y$ 的所有有序对的集合 $A\times B={ 阅读全文

摘要：整个系列课程的最后一小结！ 介绍了之前在 interface 中所提到的 subtype 系统以及其与 ML 中 generics 的不同 introduction to subtyping 在之前的课堂中 (主要是 Part A)，我们了解了 FP 中的静态类型，尤其是 ML 中的 type sy 阅读全文