02 2024 档案

20-Recursive Types
摘要：引入 序列 List、树 Tree 具有同样的特点：可能任意长短，但是结构简单并有规律 相比于将这几种数据类型区分开，我们选择将它们概括为一种基本形式，即归纳类型 利用变式类型和元组类型，我们尝试再次定义 List 如下： NatList = <nil: Unit, cons: {Nat, NatL 阅读全文
posted @ 2024-02-07 12:49 sysss 阅读(7) 评论(0) 推荐(0) 编辑
Tail Recursion
摘要：A function is tail recursive if it calls itself recursively but does not perform any computation after the recursive call returns, and immediately ret 阅读全文
posted @ 2024-02-02 11:08 sysss 阅读(11) 评论(0) 推荐(0) 编辑
11-Simple Extensions
摘要：基本类型 Base Types 用 A B C 表示基本类型 base types / atomic types 名称，A 表示基本类型组成的集合 当展示求值的结果时，将省略 λ 抽象体，直接简记为一个 <fun>，比如 λx : B . x > <fun> : B → B 单位类型 Uni 阅读全文
posted @ 2024-02-01 21:10 sysss 阅读(7) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示