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