SASADA Koichi <ko1 atdot.net> writes:

> 　ある式について、その値が要求されているかの解析は、現状でも
> やっていたのを忘れていました。なので、前言っていた「面倒くさい」
> という理由は却下。
> 
> 	p( (a, b = 1, 2) )
> 	#=>
> 	p( [a = 1, b = 2] )
> 
> というように（文法的に）機械的な変換が可能であれば、現状のものも
> 実装できるかと思います。

a, b = b, a
は、そう一筋縄じゃいかないかも。

あと、右辺の評価順序(左から右か、不定か等)も決めとく必要があるでしょう
ね。

Common Lispだとこれは psetq (あるいはpsetf)というマクロになっていて、
必要なら勝手に中間変数が宣言されます。右辺の評価順序は左から右です。

(psetf prev list
       list (cdr list)
       (cdr list) prev)
を素直にマクロ展開すると、
(let ((tmp1 list))
  (let ((tmp2 (cdr list)))
    (let ((tmp3 prev))
       (setf prev tmp1
             list tmp2
             (cdr list) tmp3))))
とか。あとは、コンパイラが無駄な中間変数を除去したり。

				前田敦司

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml