s_nan的博客

前言大多数编程语言在处理的静态和动态阶段之间表现出阶段差异。静态阶段包括解析和类型检查，以确保程序是格式良好的;动态阶段包括执行格式良好的程序。当格式良好的程序在执行时表现良好时，这种语言就是安全的。静态阶段由一组规则组成的静态图表来指定，这些规则用于派生类型判断，这些判断表明表达式是某种类型的格式良好的表达式。类型通过“预测”部分的执行行为的某些方面来调节程序的组成部分之间的交互，这...

归纳定义是学习编程语言不可缺少的工具。在这一章中，我们将发展归纳定义的基本框架，并给出一些使用它们的例子。归纳定义由一组规则组成，用于派生各种形式的判断或断言。判断是关于一个或多个某种抽象绑定树的语句。这些规则规定了判断有效的必要和充分条件，从而充分确定了判断的意义。2.1. 判断我们从抽象绑定树的判断或断言的概念开始。我们将使用许多形式的判断，包括这些例子: ...