簡単に言えば、マクロはCommon Lispまたはドメイン固有言語（DSL）の言語構文拡張を定義するために使用されます。これらの言語は、既存のLispコードに直接埋め込まれています。現在、DSLの構文はLisp（Peter NorvigのCommon Lisp のProlog Interpreterなど）と同じか、まったく異なる（例：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を定義できます。実際、すでに1つのマクロ（ループマクロ）を使用しています。
Lispはいくつかの特別な構文形式を定義しています。引用符（'）は、次のトークンがリテラルであることを示します。準引用符またはバックティック（`）は、次のトークンがエスケープ付きのリテラルであることを示します。エスケープはカンマ演算子で示されます。リテラル'(1 2 3)はPythonのと同等です[1, 2, 3]。別の変数に割り当てるか、そのまま使用できます。`(1 2 ,x)Pythonの[1, 2, x]where xが以前に定義された変数であると同等と考えることができます。このリスト表記は、マクロに含まれる魔法の一部です。2番目の部分は、コードをマクロにインテリジェントに置き換える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に引き付けるものです-究極の柔軟性。