11 2022 档案
摘要：1.1 集合 这一节复习了高中关于集合的基础知识 介绍了一些新的概念 笛卡尔积 (Cartesian Product) 集合 与 的笛卡尔积 (直积) 是指包含了所有第一个成员属于 ，第二个成员属于 的所有有序对的集合 $A\times B={
阅读全文
摘要：整个系列课程的最后一小结！ 介绍了之前在 interface 中所提到的 subtype 系统以及其与 ML 中 generics 的不同 introduction to subtyping 在之前的课堂中 (主要是 Part A)，我们了解了 FP 中的静态类型，尤其是 ML 中的 type sy
阅读全文
