本文共 186 字，大约阅读时间需要 1 分钟。
本章从相关思想的一个简洁分类开始介绍一些术语：值、对象、类型、过程和概念,它们表示了与计算机有关的许多不同的理念范畴.这里还要详细讨论本书的中心观点:规范性.对一个过程,规范性意味着它对相等的参数总返回相等的结果.对一个类型,规范性意味着它应该有相等运算符,以及保证相等关系的拷贝构造函数和赋值.规范性使我们能应用等值推理(使用等值替换)去变换和优化程序.
转载地址：http://uwmja.baihongyu.com/