2024年1月28日
8-Typed Arithmetic Expressions
摘要： 静态类型 在 Untyped Arithmetic Expressions 里有如下定义： 如果一个范式不是一个值，则称此项受阻 在这个小型语言里引入两个类型 Nat Bool，来区分布尔值项和数值项 断言“项 t 有类型 T”意味着 t 的运算结果的类型在运行之前就可以被确定，比如 succ 0； 阅读全文
posted @ 2024-01-28 11:34 sysss 阅读(5) 评论(0) 推荐(0) 编辑