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