編輯“宏”（章節(jié)）

==簡(jiǎn)介==
宏的用途在于自動(dòng)化頻繁使用的串行或者是獲得一種更強(qiáng)大的抽象能力——但這常常是一回事。

計(jì)算機(jī)語(yǔ)言如 [[C語(yǔ)言]] 或[[匯編語(yǔ)言]]有簡(jiǎn)單的宏系統(tǒng)，由編譯器或匯編器的預(yù)處理器實(shí)現(xiàn)。C的宏預(yù)處理器的工作只是簡(jiǎn)單的文本搜索和替換，使用附加的文本處理語(yǔ)言如M4，C[[程序員]]可以獲得更精巧的宏。

[[Lisp]]類語(yǔ)言如Common Lisp和Scheme有更精巧的宏系統(tǒng): 宏的行為如同是函數(shù)對(duì)自身程序文本的變形，并且可以應(yīng)用全部語(yǔ)言來表達(dá)這種變形。一個(gè) C 宏可以定義一段語(yǔ)法的替換，然而一個(gè) Lisp 的宏卻可以控制一節(jié)[[代碼]]的計(jì)算。

獲得了控制代碼的執(zhí)行順序（見惰性計(jì)算和非限制函數(shù)）的能力，使得新創(chuàng)建的語(yǔ)法結(jié)構(gòu)與語(yǔ)言內(nèi)建的語(yǔ)法結(jié)構(gòu)不可區(qū)分。例如，一種 Lisp 方言有 cond 而沒有 if ，就可以使用宏由前者定義后者。Lisp 語(yǔ)法的去部主要擴(kuò)展，比如[[面向?qū)ο骫]的 CLOS 系統(tǒng)，可以由宏來定義。

MacroML有型別語(yǔ)法宏，一種有效的理解方式是把這種語(yǔ)法宏看作是多階段計(jì)算。