摘要：
Programming is about ideas, languages are just a way to express them. https://thzt.github.io 阅读全文
posted @ 2019-03-24 21:46
zzfx
阅读(368)
评论(0)
推荐(0)
摘要：
描述类型系统的语言 类型系统主要用来说明编程语言的定型规则，它独立于类型检查算法 定义一个类型系统，一种重要的设计目标是存在有效的类型检查算法 类型系统的基本概念可用于各类语言，包括函数式语言、命令式语言和并行语言等 我们后面讨论用形式方法来描述类型系统 类型系统的形式化 类型系统是一种逻辑系统 有 阅读全文
posted @ 2019-03-24 21:33
zzfx
阅读(427)
评论(0)
推荐(0)
摘要：
计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的； 阅读全文
posted @ 2019-03-24 21:19
zzfx
阅读(269)
评论(0)
推荐(0)
摘要：
所有的类型都是在数据类型和函数类型的基础上进行组合和扩展而来； 阅读全文
posted @ 2019-03-24 20:09
zzfx
阅读(136)
评论(0)
推荐(0)
摘要：
赋值规则检查； 基础运算规则＋； 方法调用权限； 类型一致性检查、类型行为检查； 类型系统是对类型表达式合规性的检查； Type systems are generally formulated as collections of rules for checking the “con- siste 阅读全文
posted @ 2019-03-24 20:06
zzfx
阅读(480)
评论(0)
推荐(0)
浙公网安备 33010602011771号