>>893
ありがとう

マクロシステムにおけるfunarg問題 ってのが、一番しっくりきた
それを踏まえて、funarg問題をレキシカルクロージャが解決したのと同じように環境をくっつけるという意味で
S式+環境 という発想が、やっと理解できた

ところで、先の文書で「変換Eをマクロ展開の度にやるのは重い」みたいなことが書いてあるけど
read する時点で自動的に identifier に変換するみたいなことは、できないのかな?
(処理系作ったことないからわからない)

何となく議論してる土台は分かったけど、implicit renaming 以外は、マクロ書きにくそう…