[Scheme] リストへの破壊的代入について

質問

以下のプログラムが動かない理由がわかりません．

(define cdrlst
　(lambda (lst)
　　(set! lst (cdr lst))))

内容としては，引数で与えられたリストの先頭を取り除くというものです．

対話的な方法で以下のように実行すると，上記と同様の方法でも動作しますが，ラムダ式の中に入れると動作しなくなります．
> (define cdrlst ... (略))
> (define l (list 1 2 3 4))
> (set! l (cdr l))
> l
(2 3 4)
> (define lst (list 1 2 3 4 5)
> (cdrlst lst)
> lst
(1 2 3 4 5)

どうか，よろしくお願いします．

処理系 : DrScheme version 370 [3m] ;Standard(R5RS)

回答No.1

Tacosan · ベストアンサー

Scheme はぼんやりとしか記憶にないんだけど, set! している変数の lst は lambda で束縛されているから, 外とは関係ないんじゃないかなぁ?
例えば (下の式であってるかなぁ? 「与えられた変数に 1 を加える」って意味なんだけど),
(define add1 (lambda (x) (set! x (1+ x))))
(define x 1)
(add1 x)
とやっても多分 x は 2 にはならないと思う.

お礼

例を見て，リストに限ったことでは無いと気づきました．

回答ありがとうございました．