zhouruitao的专栏

绑定/约束（binding）指两个东西之间的关联。如 名字 与它所代表的事物。又如属性与实体之间的关联，又或者符号与操作之间的关联。早期的书翻译成约束，后期的多数称绑定。后续都称绑定。绑定发生的时间称为 绑定时间（binding time）。绑定 和 绑定时间 是程序设计语言中了个非常重要的概念。绑定可以发生在语言设计时、语言实现时、编译时、连接时、载入时和运行时。...

大多数程序设计语言都有数据类型的概念，数据类型指定义一组数据值以及在这些数据值上相关的一组操作。我们知道计算机通过操作数据来产生结果，决定计算机程序执行认为难易程度的一个重要原因是可提供的数据类型与真实世界问题空间的匹配程度。因此，一种语言能支持多样化的类型与结构就成为关键。 数据类型的概念是从过去50年间发展过来的最早的语言仅支持少量的数据结构，如Fortran 90之前通常用...

 一般程序设计语言包含两种基本的抽象：过程抽象和数据抽象。过程抽象有时也称控制抽象。子程序是最主要过程抽象机制。 面向对象语言中的方法与子程序的概念十分相似，不同在于它们的调用以及它们与类或对象关联的方式。 一、子程序的特征1，每个子程序只有一个入口。2，在执行期间，调用程序单位被停止执行，即任意时刻只有一个子程序在执行。3，子程序执行完毕后，总是将控制返回给调用程...

请注意，这里说的是运算数的求值顺序。而非运算符，运算符的求值顺序我们比较熟悉。比如a * b + c; 1，先算乘方，再算乘除，最后算加减2，有括号，先算括号里面的，同一级运算按照从左到右的顺序依次进行这一点所有的程序设计语言都采取数学中数字的计算顺序。当然程序设计语言中还有一些不同于数学中的运算符。那运算数的求值顺序是如何的呢？如下// 求 ...

函数副作用 指当调用函数时，除了返回函数值之外，还对主调用函数产生附加的影响。例如修改全局变量（函数外的变量）或修改参数。 函数副作用会给程序设计带来不必要的麻烦，给程序带来十分难以查找的错误，并且降低程序的可读性。严格的函数式语言要求函数必须无副作用。 函数的副作用相关的几个概念， Pure Function、 Impure Function、 Referential Tr...

变量是机器存储单元在语言中的抽象。它是编程语言最重要的概念之一。变量有6个属性（或者说从6个方面去描述变量）名字/别名地址/左值值/右值类型作用域生存期/生命期 1，名字/别名名字的概念在 名字/标识符 已经提到。当多个名字访问的都是同一个存储地址时(或者说多个名字都 绑定/约束于同一个存储...

名字 是指代表某些东西的有助于记忆的字符序列。名字可以使我们采用符号形式标识符引用变量、常量、子程序、形参而不用采用更低级的如地址一类的概念。从低级语言到高级语言的发展过程中，名字 是抽象出来的最重要的概念之一。 名字不只是用于变量，也常用于常量、子程序、形参等。标识符一词常常与名字概念互换使用。 一、名字的长度早期的程序设计主要用来解决数学问题，数学中常用的就是单个字...

上一篇提到了 绑定 中的 类型绑定 。这篇说说存储绑定，程序设计语言的一种根本特征取决于这种语言的变量存储绑定的设计方式。变量名 与 存储单元 之间的关联的这个过程称为 存储绑定，或称为 存储空间分配。变量名与存储单元的解除绑定的这个过程称为 存储空间解除绑定。变量的 生存期 指该变量名被绑定于某一存储地址的时间。或者说一个变量名与某一存储地址从绑定到解除绑定的...

在程序中引用一个变量前，变量名 必须被 绑定 到一种数据类型上。如 名字 abc 得知道它是语言中的基本类型（整型数字、浮点数字、布尔、字符串）或对象类型（内置类、自定义类）。根据 绑定时间 的早晚分为静态类型绑定和动态类型绑定。 一、静态类型绑定显示声明和隐式声明（JS等除外）都产生对类型的静态绑定。 二、动态类型绑定动态类型绑定时，变量的类型不是由声...

显示声明 是程序中的一条说明语句，它列出一批变量名并指明这些变量的类型。如C、C++、Java中// 显示声明 变量count，类型为int，占用空间大小各语言可能有所不同int count; 又如JavaScript中// 显示声明 变量count，但不知其类型，也不知其占用空间大小var count; 隐式声明 指通过某种默认协定的方法将变量名与类型绑定...

Wegner根据语言的功能和产生的时间，将一些流行的高级语言进行了分类。 第一代 （1954-1958）Fortran IAlgol 58FlowmaticIPL V 第二代 （1959-1961）Fortran IIAlgol 60CobolLisp 第三代 （1962-1970）PL/1Algol 68Pasca...