2025年9月8日
15 - Subtyping
摘要： （因为最近在搓类型系统，发现 tapl 也就学了个皮毛，再回来补充一下知识） Subtyping 关系满足：自反性，传递性 对于 record 类型有宽度和深度两个规则： 宽度对应的子类型关系有点难以理解，具备更多的 field 的 record 反而是“更小”的子类型。但是从类型对应的值集来看，更 阅读全文
posted @ 2025-09-08 08:52 sysss 阅读(10) 评论(0) 推荐(0)