从表达式到函数:表面的简洁

scheme/lisp中,(基于运算元、运算符的)表达式运算是一个语法基础,但它们被称为函数式语言而非表达式语言。那么,它们是如何解释函数式语言的呢?

一个lisp的函数在语法上应当书写为如下格式:

((lambda (p1...pn) _e_) a1...an)

这是什么意思呢?其实,这其中的p1..pn为形式参数,而a1..an为实际参数,而lambda则是一个从天上掉下来的概念,它被用来作为一个函数标识符的命名——就好象四则运算中的x,y,z只是命名一样。换成JavaScript的语法,就是这样:

function lambda(p1,p2) { // ... pn
  e
}
lambda(a1,a2); // ... an

当然,javascript作为函数式语言,你也可以声明即调用。如下:

(function lambda(p1,p2) {
  e
})(a1,a2))

所以,事实上较规范的lisp函数调用语法风格与上面的并没有什么不同:

((lambda (p1,p2)
  e
 ) a1 a2)

按照约定,e是一个或一组表达式。这里就回到上一篇文章(在这里)说的“表达式是语言基础”了:

(symbol)

在表达式、值(以及变量)、函数等基本概念上,javascript与lisp/scheme没有什么不同。不过,后者是面向表(list,一个值或函数的序列)来处理的,而javascript则面向关联数组(属性包,一个“名-值”对的表)。