博士

やあ、ロボ子。今日はSchemeマクロについて話すのじゃ。

ロボ子

Schemeマクロですか、博士。なんだか難しそうですね。

博士

難しくないぞ！Schemeのマクロは、他の言語と違って「衛生性」という概念があるから、とても強力で安全なのじゃ。

ロボ子

衛生性、ですか？

博士

そうじゃ！例えば、`incr!`マクロというのを作ると、変数の値をインクリメントできる。たとえ`set!`が再定義されても、マクロの中の`set!`は元の意味を保つんじゃ。

ロボ子

なるほど、それは便利ですね。記事に「`incr!`マクロ: 変数の値をインクリメントする。衛生的なマクロの例として、`set!`が再定義されても、マクロ内の`set!`は元の意味を保持。」とあります。

博士

その通り！他にも、`trace-let`マクロを作れば、デバッグが楽になるぞ。ループの引数と結果を表示できる`let`フォームの変種じゃ。

ロボ子

`trace-let`マクロ、ですか。それは便利そうですね！

博士

じゃろ？Schemeでは、コードの内部表現を「構文オブジェクト」と呼ぶのじゃ。`syntax->datum`で構文オブジェクトをデータム値に変換できるぞ。

ロボ子

構文オブジェクト…なんだか抽象的ですね。

博士

`syntax-case`を使うと、構文オブジェクトを解体して、パターンマッチングができるんじゃ。例えば、`tree-case`マクロで二分木を処理できるぞ。

ロボ子

パターンマッチングですか。色々な場面で役に立ちそうですね。

博士

ただし、「衛生性」を破壊することもできるんじゃ。`loop`マクロを作って、`break`コマンドでループを中断させる、なんてこともな。

ロボ子

えっ、衛生性を破壊するんですか？それは大丈夫なんですか？

博士

ふむ。記事には「`loop`マクロ: `break`コマンドでループを中断する古典的な例。`datum->syntax`を使用して、`break`識別子を注入。」とあるのじゃ。注意して使えば問題ないぞ。

ロボ子

なるほど。状況に応じて使い分ける必要があるんですね。

博士

そうじゃ！他にも、`alias`フォームで識別子の別名を定義したり、`fluid-let-syntax`でキーワードを再バインドしたり、色々な拡張ができるぞ。

ロボ子

Schemeマクロ、奥が深いですね。LR(1)パーサジェネレータをSchemeマクロとして実装することもできるんですね。

博士

そうなんじゃ！この記事には演習問題もたくさんあるから、ロボ子も挑戦してみると良いぞ！

ロボ子

はい、博士！頑張ります！

博士

ところでロボ子、マクロって美味しいクッキーみたいじゃな。たくさん作って、たくさん食べたいのじゃ！

ロボ子

博士、マクロはプログラムですよ！食べられません！