为了给出简短的答案，宏用于定义Common Lisp或领域特定语言（DSL）的语言语法扩展。这些语言直接嵌入到现有的Lisp代码中。现在，DSL可以具有类似于Lisp的语法（例如Peter Norvig的Common Lisp 的Prolog解释器）或完全不同的语法（例如Clojure的Infix Notation Math）。
这是一个更具体的示例：
Python在语言中内置了列表理解功能。这给出了常见情况的简单语法。线
divisibleByTwo = [x for x in range(10) if x % 2 == 0]
产生一个包含0到9之间所有偶数的列表。在Python 1.5天内，还没有这种语法。您将使用更多类似这样的内容：
divisibleByTwo = []
for x in range( 10 ):
if x % 2 == 0:
divisibleByTwo.append( x )
这些在功能上都是等效的。让我们调用我们的怀疑暂停，并假设Lisp具有一个非常有限的循环宏，该宏仅进行迭代，并且没有简单的方法来执行等效于列表理解的工作。
在Lisp中，您可以编写以下内容。我应该注意，这个人为设计的示例与Python代码相同，而不是Lisp代码的良好示例。
;; the following two functions just make equivalent of Python's range function
;; you can safely ignore them unless you are running this code
(defun range-helper (x)
(if (= x 0)
(list x)
(cons x (range-helper (- x 1)))))
(defun range (x)
(reverse (range-helper (- x 1))))
;; equivalent to the python example:
;; define a variable
(defvar divisibleByTwo nil)
;; loop from 0 upto and including 9
(loop for x in (range 10)
;; test for divisibility by two
if (= (mod x 2) 0)
;; append to the list
do (setq divisibleByTwo (append divisibleByTwo (list x))))
在继续之前，我应该更好地解释什么是宏。这是对代码逐个代码执行的转换。也就是说，由解释器（或编译器）读取的一段代码将代码作为参数，进行处理并返回结果，然后就地运行该结果。
当然，这是很多类型的工作，程序员是懒惰的。因此，我们可以定义DSL来进行列表理解。实际上，我们已经在使用一个宏（循环宏）。
Lisp定义了几种特殊的语法形式。引号（'）表示下一个标记是文字。准引号或反引号（`）表示下一个标记是带有转义符的文字。转义由逗号运算符指示。字面'(1 2 3)量等同于Python的[1, 2, 3]。您可以将其分配给另一个变量或就地使用它。您可以认为`(1 2 ,x)它等同于Python[1, 2, x] where x定义为先前的变量。此列表表示法是宏魔术的一部分。第二部分是Lisp阅读器，它可以智能地将宏替换为代码，但是最好在下面进行说明：
因此，我们可以定义一个宏lcomp（列表理解的简称）。它的语法将与示例中使用的python完全相同[x for x in range(10) if x % 2 == 0] -(lcomp x for x in (range 10) if (= (% x 2) 0))
(defmacro lcomp (expression for var in list conditional conditional-test)
;; create a unique variable name for the result
(let ((result (gensym)))
;; the arguments are really code so we can substitute them
;; store nil in the unique variable name generated above
`(let ((,result nil))
;; var is a variable name
;; list is the list literal we are suppose to iterate over
(loop for ,var in ,list
;; conditional is if or unless
;; conditional-test is (= (mod x 2) 0) in our examples
,conditional ,conditional-test
;; and this is the action from the earlier lisp example
;; result = result + [x] in python
do (setq ,result (append ,result (list ,expression))))
;; return the result
,result)))
现在我们可以在命令行执行：
CL-USER> (lcomp x for x in (range 10) if (= (mod x 2) 0))
(0 2 4 6 8)
很整洁吧？现在它不止于此。如果需要，您可以使用一种机制或画笔。您可以具有任何可能需要的语法。像Python或C＃的with语法。或.NET的LINQ语法。最后，这就是吸引人们使用Lisp的原因-最终的灵活性。