2024年2月7日
20-Recursive Types
摘要： 引入 序列 List、树 Tree 具有同样的特点：可能任意长短，但是结构简单并有规律 相比于将这几种数据类型区分开，我们选择将它们概括为一种基本形式，即归纳类型 利用变式类型和元组类型，我们尝试再次定义 List 如下： NatList = <nil: Unit, cons: {Nat, NatL 阅读全文
posted @ 2024-02-07 12:49 sysss 阅读(6) 评论(0) 推荐(0) 编辑