從運算式到函數：表面的簡潔

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則面向關聯陣列（屬性包，一個“名－值”對的表）。