Lisp Scheme Part37
レス数が900を超えています。1000を超えると表示できなくなるよ。
0932890
2014/01/21(火) 01:17:39.49ありがとう
マクロシステムにおけるfunarg問題 ってのが、一番しっくりきた
それを踏まえて、funarg問題をレキシカルクロージャが解決したのと同じように環境をくっつけるという意味で
S式+環境 という発想が、やっと理解できた
ところで、先の文書で「変換Eをマクロ展開の度にやるのは重い」みたいなことが書いてあるけど
read する時点で自動的に identifier に変換するみたいなことは、できないのかな?
(処理系作ったことないからわからない)
何となく議論してる土台は分かったけど、implicit renaming 以外は、マクロ書きにくそう…
レス数が900を超えています。1000を超えると表示できなくなるよ。