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