专题

类型系统学习专题

独立于博客文章的类型系统学习目录。

01 TAPL 数学预备知识学习画布 TAPL 数学预备知识学习画布 TAPL 数学预备知识学习画布 这页把我们这次讨论的内容整理成一张可复习的网页：集合、关系、函数、偏函数、全函数、保持性，以及它们如何对应到小步语义、大步语义、类型关系和 Type Safety。