For Gauche 0.9.15Search (procedure/syntax/module):

Next: , Previous: , Up: マクロ   [Contents][Index]

5.4 ハイブリッドマクロ

ハイブリッドマクロは、マクロと手続きを合わせたものです。 ハイブリッドマクロに束縛されているシンボルがフォームの最初のポジションにある場合、 それはマクロのように振る舞い、マクロ展開器によって展開されます。 シンボルがその他の場所に現れた場合は、実行時に手続きへと評価されます。

これは、いわゆる「コンパイラマクロ」を実現するのに使えます。つまり、 コンパイル時に引数を調べ好きなようにフォームを変換できます。 それ以外の場合は普通の手続きへの束縛のように振る舞うので、 例えばmapの引数として渡すことができます。

Macro: define-hybrid-syntax variable expr transformer-spec

variableを通常のScheme値とマクロの両方に束縛します。 コンパイル時にtransformer-specが評価されます。それはコンパイル時環境において マクロを返さなければなりません。そして、マクロ展開用にvariableに束縛されます。 一方exprは実行時に評価され、実行時の値としてvariableに束縛されます。

マクロ展開器は、入力フォームに展開の必要がなければそれをそのまま (入力フォームとeq?になるオブジェクトとして)返すことができます。 その場合、Gaucheはフォームを単なる手続き呼び出しとしてコンパイルし、 exprの実行時の値が呼び出されます。

註: ハイブリッドマクロでやりたいことが、手続き本体をインライン展開するだけなら、 define-inlineを使った方が良いです。定義参照。

構文についての註: 伝統的にLispでは、コンパイラマクロを定義するフォームは 通常の手続きの束縛を定義するフォームと別でした。

しかし、一つの識別子に別々のフォームで複数の定義を与えるのは、 プログラムの意味に曖昧性を持ち込みます。たとえば通常の定義とコンパイラマクロの定義が 別のモジュールに分かれていたら? あるいはどちらか一方が再定義されたら? Gaucheではひとつのフォームで束縛を決定してしまう方が良いと判断しました。


Next: , Previous: , Up: マクロ   [Contents][Index]


For Gauche 0.9.15Search (procedure/syntax/module):