lispのwhile

質問

lispの特殊形式whileを以下のように定義します。

(while 判定条件 本体…)

第一引数である判定条件を評価し真ならば本体を評価しもういちど判定条件を評価、偽ならば本体を評価しない。

この時次のコードでよくわからない部分があります

(defmacro image (var list &rest forms)
`(let (($list$ ,list)
($r$ nil)
(,var nil) )
(while ($list$ (nreverse $r$))
(setq ,var (pop $list$))
(push (progn ,@forms) r) )))

($list$ (nreverse $r$))

この文は 偽（つまりnil） になりえるのですか？
$list$はpopを繰り返すのでループを繰り返せばnilになるでしょう。
しかし (nreverse $r$) はpushを繰り返すのでnilにはなりえないと思います。
また、もしnilになりえたとしても (while (nil nil)) は (while (nil)) と同値なのでしょうか？

ちなみにこれはlispの参考書のコードそのままです。
読み進めていくうちにだんだん難しくなってきました。
もうどれだけ考えてもわからないので、気持ち悪い思いはしながらもどんどん先に進んでいます。
こんな勉強法でいいんでしょうか？
不安になります。

回答No.3

nininonick · ベストアンサー

あくまでも想像ですが、whileの正しい定義は

(while (条件 最終結果) 本体 ...)

では無いのでしょうか。
「条件」が真である限り、「本体」を評価する。
「条件」が偽になると、「最終結果」を評価して、その値を式全体の値とする。
といった動作かと思います。

そのように考えると、imageはあるリストを元に、
それを加工したリストを創りだすマクロとなります。

(image x '(1 2 3) (+ x 1)) ; => (2 3 4)

マクロが難しいのであれば、マクロの展開型を表示してみるといいと思います。
詳しくは「lisp macroexpand」などで検索してください。

回答No.4

sakusaker7

#3の回答にもあるように、そもそもwhileの定義が違っています。
「初めての人のためのLisp 改訂増補版」をお使いと思いますが、その本での whileの定義はp110からp111にあります。

質問にあるプログラムで言うと、popを繰り返して空になったらそこでループを終了します。
このとき nreverse $r$ を実行して、その値が最終的な結果になります。

回答No.2

Tacosan

もう 1つ質問:
この「コード」はどのように使うのですか?

回答No.1

Tacosan

その「コード」にはどのような意味があるのですか?