lisp(當(dāng)然也包括scheme)的元編程(也即是宏)威力非常強(qiáng)悍，相比之下，c++的元編程(template+預(yù)處理)簡直就是弱爆了，被人家甩幾條街都不止。 當(dāng)然，template的類型推導(dǎo)很厲害，也能生成很多簽名類似的class和function，比其他語言的泛型強(qiáng)多了，但是，template再厲害，也不能生成名字相似的function還有變量。 預(yù)處理可以生成名字相似的變量和函數(shù)。但是，預(yù)處理的圖靈完備是沒有類型這個概念，只有字符串，整數(shù)那個東西還要靠字符串的并接來實現(xiàn)。所以，預(yù)處理沒法得到template里面的類型信息。新版本的c++中有了decltype之后，宏可以通過某種方式以統(tǒng)一的形式來利用類型信息。但是,在代碼生成方面，預(yù)處理還是很弱智，主要的問題在于宏對于自己要生成的代碼結(jié)構(gòu)很難構(gòu)建語法樹，也不能利用編譯階段的功能，比如調(diào)用編譯階段的函數(shù)。 想說的是，很難以在代碼中只用宏來寫一個稍微復(fù)雜的程序，即使做得到，也要吐好幾口老血，還煞難調(diào)試。
lisp就不一樣了，宏和語言融為一體，以至于代碼即是數(shù)據(jù)。只要你愿意，完全可以在lisp中只用宏寫代碼，只要愿意，分鐘鐘可以用lisp寫一個dsl，比如loop就是一個專門處理循環(huán)的dsl。甚至，用lisp宏還可以做靜態(tài)類型推導(dǎo)的事情，也非難事。因此，用lisp宏搞基于對象 (adt)也都有可能，從而優(yōu)雅的使用.操作符。比如(+ obj1.item obj2.item) (obj.fun 2 "hello")。你說，lisp宏連.操作符都可以做到，就問你怕不怕。
但是，宏再厲害，也不能隨意地搞底層操作內(nèi)存。恰好與c++相反，c++搞底層隨意操作內(nèi)存太容易了，但是元編程的能力就遠(yuǎn)遠(yuǎn)不如lisp了。
emacs是最好玩的ide，注意不是最強(qiáng)大，猿猴隨時可以寫代碼增加改變emacs的功能，馬上見效，不需要任何配置，不需要重啟。因此，elisp也是最好玩的語言了，因為最好玩的ide的腳本語言就是它了，呵呵，主要原因還是elisp是lisp的方言，可以承擔(dān)lisp的很多構(gòu)思，當(dāng)然，完全繼承是不行的，不過，已經(jīng)足夠做很多很多的事情了。
不過，本期的話題是lisp的括號，為什么lisp會有那么多的括號，鋪天蓋地，很容易，就一堆一堆的括號擾人耳目，以至于lisp代碼不好手寫，只能忽視括號，依靠縮進(jìn)。括號表示嵌套，相必之下，c系語言的嵌套就沒那么恐怖了。一個程序，頂破天，最深層都不會超過十層，連同名字空間，類聲明，函數(shù)，再到內(nèi)部的for，if，大括號，中括號，小括號。
中綴表達(dá)式，這個眾所周知了，試比較，1+2-3*4/obj.width，沒有任何括號，依靠運(yùn)算符優(yōu)先級表示層次關(guān)系。并且，猿猴也習(xí)慣并本能的解析中綴表達(dá)式了，因此，代碼看起來一目了然。lisp就很可憐了， (- (+ 1 2) (/ (* 3 4) (obj-width obj)))，這里面多了多少括號，在轉(zhuǎn)換成這行簡單算式的時候，還是在emacs下面寫出來的。關(guān)鍵是，雖然前綴表達(dá)式?jīng)]有任何運(yùn)算級別上的歧義，但是，人眼還是比較習(xí)慣中綴表達(dá)式了。君不見haskell的括號更少了，其對中綴表達(dá)式和符號的運(yùn)用更深入。關(guān)鍵是，中綴表達(dá)式很容易手寫啊。易寫，自然也表示易讀。C#的linq的深受歡迎也因為其好讀，無須在大腦里面建立什么堆棧，linq表達(dá)式就是上一個處理的結(jié)果通過.操作符傳遞到下一個運(yùn)算中，非常順暢，不必返回前面去看看當(dāng)前的操作數(shù)的運(yùn)算是什么，因為運(yùn)算符就在眼前了。中綴表達(dá)式.操作符，更是滅掉括號的大殺器，比如，obj.child1.child2.value，這里用lisp來搞，4個括號避免不了的。
試試將java萬物皆是對象推向極致，然后沒有中綴表達(dá)式，1.plus(2).minus(3.mult(4).obj.width))，比lisp要好一些，但也有很多括號了，并且，在minus這里，其括號嵌套也只是減少了一層而已。當(dāng)表達(dá)式復(fù)雜起來的時候，這種缺點(diǎn)也要相應(yīng)的放大。
變量的就地定義，好像c系的變量要用到的時候才定義這種語法很稀疏平常，沒什么了不起的。但是，到了lisp下面時，就知道這是多么貼近人心的便利啊。每次用到新變量，都要引入let表達(dá)式，又或許跑到前面的let語句中寫變量，要么就打斷當(dāng)前的代碼編寫，要么就引入新的一層嵌套關(guān)系。一個狀態(tài)復(fù)雜的函數(shù)，很容易就出現(xiàn)好多個let語法塊。而c系的變量就地定義，顯得那么淡定。
return，continue，break等語句就可以把后面的語句拉起來一個層次，假設(shè)沒有這些關(guān)鍵字，要用if else語句，那么，這些return，continue，break后面的語句都表示要被包含在一個else的大括號中。
lisp里面的特有語句，with-*等宏，都要求嵌套。幾個with-*宏串起來，幾個括號嵌套關(guān)系就跑不了啦。而c++通過析構(gòu)函數(shù)就多么地讓人愛不釋手了，java也可以別扭的用finally來應(yīng)付了。
控制結(jié)構(gòu)的并行。像是if，for，while或者是class還有函數(shù)定義等語句，其后面的代碼塊是并列在關(guān)鍵字的后面，這樣就少了一層嵌套。不過這個作用并沒有那么巨大。主要還是前面4點(diǎn)。
這樣，就可以模擬其他語言的特性來滅掉lisp的括號。當(dāng)然是要到宏了，loop就是一種嘗試。但是，下面將走得更遠(yuǎn)。其實，就是設(shè)計一套新的語法了。
假設(shè)這個宏的名字是$block，那么后面的文章就可以這樣做。
1 加入一個$操作符。$表示后面的代碼都被收入進(jìn)去。比如，1+2-3*4/4，就可以寫成($block (-) $ (+ 1 2) (/) $ (* 3 4) 4)。于是，with-*等宏的嵌套就可以用$來代替了。雖然，$的作用好像有些欠缺，功能不完備，但是，只要考慮到括號都是在最外層體現(xiàn)的，那么，$就顯得很有作用了。
2 加入let的操作符，表示就地引入變量，其實也即是將變量名字加入上層的(let)的變量列表中，然后在這里插入一條(setq var vlaue)的語句。
3 加入if，elif，else，for，switch等語句，于是后面的代碼塊就與之平行了，并且準(zhǔn)備一個(let)的語句，用于給with語句添加變量。可以借鑒loop宏的方式
4 return，break，continue等相應(yīng)的實現(xiàn)。
5 支持.操作符，所有關(guān)于.的操作，都轉(zhuǎn)換成相應(yīng)的函數(shù)操作，好像以前的cfront在對于成員函數(shù)的支持那樣子。這里就要有靜態(tài)類型推導(dǎo)了，可以通過with語句中加入變量的類型說明，給函數(shù)添加返回類型的標(biāo)簽。有了這些信息，就可以找到obj相應(yīng)的成員函數(shù)的名字，就可以生成對應(yīng)的函數(shù)調(diào)用的form了，這個做起來有點(diǎn)難度。
......
以上，除了第5點(diǎn)，其他都可以借鑒loop的代碼來實現(xiàn)。$block里面的代碼，便于手寫，括號也沒有那么面目可憎了。