编程语言的一些基础概念（二）：动态函数式编程

在上一篇《编程语言的一些基础概念（一）》中，通过静态类型的函数式编程语言，介绍了一些编程语言的特性，包括数据不可变，尾递归，匿名函数等。这一篇在上篇的基础上，通过 Dynamic Typing (动态类型) 的函数式编程语言 Racket，再介绍一些编程语言的特性，比如 Stream, 惰性求值, 宏 Macro 等。

括号的使用

天花乱坠的括号，这是 Racket 和 LISP 等这类语言最直观的特征。看一些例子：

(+ 1 2)
(and true (= 1 2))

这种代码写的方式和平时写的挺不一样的，(+ 1 2) 表示 1 + 2，(and true (= 1 2)) 表示 true and (1 = 2) 的 boolean。大概也能看出个规律，( 后面第一个词，是要做的操作，多数情况下是函数调用，之后接的类似于函数调用要穿进去的参数。

再举一个例子：

(define (fact n) (if (= n 0) 1 (* n (fact (- n 1)))))

上面这段代码是典型的斐波那契函数的递归写法。

在写了一些 Racket 的程序后，最直接的感觉就是修改代码麻烦，不容易 Debug。这种写法对于写代码前逻辑的清晰度要求更高，因为括号数量多，常常看的眼花缭乱，如果再加上逻辑不清晰的话，修改起来不是一般的困难。从 syntax 的角度来说，并不是很友好，为什么语言的设计要将括号的地位放到这么高的地位呢？

将所有的表达式都加上括号，最大的好处是让编程语言的表意很明确，比如说 1 + 2 * 3，在没有括号情况下，我需要去判断乘法的优先级比加法高，然后计算。在有括号的情况下， (+ 1 (* 2 3)) 或者 (* (+ 1 2) 3)，可以很明显的知道该怎么去运算，按照括号的顺序执行就行了。

第二个好处就是，这种表达式很容易被分解成树的结构，程序的执行顺序从树的根往下，简单明了。比如说下面这个例子：

[外链图片转存失败(img-n2rVyExr-1562051361750)(https://i.imgur.com/khTjIBb.png)]
像我们这种写惯了顺序表达的，对这种有一点点逆序表达的是有一些偏见的，但是不能因为那么多括号的使用，而去否定一门编程语言，去否认一门编程语言优秀的地方。