5.1 健全なマクロ

R5RSの健全なマクロは特別なパターン言語に基づいていて、 また「変数捕捉」が起こらないことが保証されています。 「変数捕捉」とは、マクロが新しい変数束縛を導入した時に、その束縛が マクロに渡されたフォーム中の変数名と衝突して、その変数名の本来の束縛を隠して しまうことを言います。

Special Form: define-syntax name transformer-spec

[R5RS]

Special Form: let-syntax ((name transformer-spec) …) body

Special Form: letrec-syntax ((name transformer-spec) …) body

[R5RS]

Special Form: syntax-rules literals clause1 clause2 …

[R5RS]

This document was generated by Shiro Kawai on November, 22 2009 using texi2html 1.78.