Concurrent Clean : Clean入門(17) : マクロ

http://www.geocities.jp/lethevert/softwares/clean/gettingStarted17.html
評価戦略から始まった正格性に関する考察は、このマクロの回でひとまず終了です。非正格な言語でありながら、わざわざマクロを持っているのには、そういう理由があったんですね、という話です。
ところで、Cleanのマクロは、他の言語のマクロとはちょっと意味が違うようです。マクロといえば他にはLispのマクロとC言語のマクロがありますが、どれも、コンパイル前(Lispなら評価前)に適用するという点が共通しているのか?
あともう少しだ。がんばれ!