健全なマクロ
健全なマクロ（）とは、マクロ処理の過程の過程で見かけ上同じに見える識別子が発生（名前が衝突）しても、意図しない問題が起こらないことが保証されているマクロである。SchemeやDylanなどのプログラミング言語はこの機能を持っている。マクロ処理の過程で見かけ上同じに見える識別子が発生するという問題は、健全なマクロが導入される以前からLISPコミュニティで広く知られていた。マクロの作者は、プログラムコード中の他のどれとも異なるユニークな識別子を生成する codice_1 などの組み込み関数を使ってプログラマーが明示的に回避したり、通常使用されないような長くて複雑な名前の識別子を用いることでこの問題の可能性を低減させてきた。健全なマクロはこの問題を解決する方法をマクロの展開機能に組み込むことで問題を根本的に解決している。「健全」を意味する「」という語は、コールベッカーらが1986年に書いた健全なマクロの展開を導入した論文で、数学の用語の影響を受けて初めて使用された。