Concepts in Programming Languages

Book Information

看来超过500页的书，读起来要慎重。

因为可能书还没读完，心态就变了。

变得书中的知识已经不那么必要了。

对于处在成长期的同学，

不得不先花尽量少的时间先读完一遍，

以后等读完很多书，大开眼界以后，再决定是否重新体会。

CIPL的作者写过一本很重口味的书，

Foundations for programmming languages

中文版是《程序设计语言理论基础》

从lambda演算开始，讲了一些数学。

看到一半就看不下去了。

为了跟随大神的脚步，我搜到了这本书，

本书通过讲解几个具体语言的实现，

来介绍程序语言中的通用概念。

用实例来讲解，会大大降低难度，

可计算性，lambda演算，指称语义，

函数，类型，类型推导，

词法作用域，动态作用域。

都是点到为止。

抽象数据类型，模块，

面向对象，虚拟表，动态查找，

并发编程，逻辑式编程。

也是游刃有余。

我们会看到以下语言设计时的取舍，

以及各自当初的设计目的，

Lisp,Algol,ML,

Simula,Smalltalk,C++,Java,

CML,Prolog

我们理解了语言其实和软件一样，

是一个发展中的事物，

从愿景，外界约束，折中，

发展，范围控制，兴隆和衰颓。

本书门槛很低，只要英语过得去，

都可以顺利读完。

推荐任何有语言偏见的人们，都去看一看。

因为，

每种语言都是一部精彩的小说。