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