木谷 洋
ryute****@mac*****
2005年 5月 15日 (日) 20:20:06 JST
木谷です。 On 2005年 5月 15日 , at 10:34, Shiro Kawai wrote: > > で、問題の一致条件ですが、これはhygienicマクロの前提であ > る、 > 「マクロ展開で使う識別子は、マクロ定義時のものである > (従って、 > マクロ使用時の環境と干渉しない)」という命題の特殊な場合と > 考えられます。 ああ、なるほど。 the reference refers to the binding that was visible where the transformer was specified ですか。つまり、 ・リテラル導入されたシンボルは識別子扱いなので環境があったらそれ のことだけど、リテラルでもあるので、なにもなければとりあえず Nothingにする ・マクロ中ではあたかもquoteされたかのごとくいきなりシンボ ルをつっこんでいい。何故ならそれがマクロの動機だから ・この場合、一時的に何だか分からないNothingが世界をかすめ る事があるが、一致は識別子の「参照」で行うというscheme原則 は守る。ただし両方Nothingならeqとみなす。何故ならそ れがマクロの動機だから と。 「リテラル識別子」というのが際どいですね。パターン側とも評価側と もつかないし。 他にもこういう際どいケースはあるんでしょうか。 -- 木谷 洋
