2018-03-13から1日間の記事一覧

健全なマクロ展開 - 構文オブジェクト (その7)

前回までは syntax-case の構文オブジェクトが局所マクロの再帰展開をどう扱うかを見てみました。 今度はλ構文と局所マクロが識別子をどのように扱うかを調べます。 そのために、 R4RS 以後、 健全性の例の一つとして利用されている次のマクロ展開をとりあげ…