>>800
なるほど。 マクロが単に短く書くだけのものとして見るなら、
本来書けないものを書けるようにするのは余計っていうことか。
そういう発想はなかったな。

Scheme の特徴に第一級継続があるわけだけど、
継続の概念そのものは言語にかかわらずあるのであって、
陽に扱えるようにしたところに特徴がある。

それと同じように「文脈情報」も常に背後には有るものと考えていたので、
伝統的マクロは情報を捨てているというイメージだった。