🚀 go-pugleaf

Hiroki Tamakoshi <hiroki-t@is.aist-nara.ac.jp> writes:

> > しかし、 (cons nil '()) とした場合には、 my-test() が呼び出されるごとに
> > オブジェクトが作成されますので、次に呼ばれたときには別の新しいオブジェク
> > トになりますのでいくら実行しても (nil) という結果になります。
> 
> まったくもってよく理解出来ました。が、納得出来ません。それは仕様なので
> しょうか。「使えない scheme」のつもりで LISP を使っているのですが、
> scheme は (cons nil '()) equal '(nil) だったと思うのでおかしいと感じて
> いるわけです。今R5RS も scheme の処理系も手元にないので確かめられませ
> んが。

Scheme,Common Lispなどにおいては仕様です。
おっしゃるとおり、
(equal (cons nil '()) '(nil))は真ですが、
(eq (cons nil '()) '(nil))は偽ですので、
Keiichi Suzuki <keiichi@mdcnet.co.jp>さんが示された
元の例のような動きが自然です。

;;下の例(EmacsLisp)で、
;;'(a)を(cons 'a nil)に変えてやれば、2度目の(foo)の返り値は(a)となります。

------------------------------------------------------------------------
> (defun foo ()
    (let ((foobar '(a)))
      foobar))
foo

> (rplacd (foo) 'b)
b

> (foo)
(a . b)
------------------------------------------------------------------------

もちろん、(defun foo ...) をもう一度評価してやれば(foo)の返す値は元に戻
ります。上に続けて、

------------------------------------------------------------------------
> (defun foo ()
    (let ((foobar '(a)))
      foobar))
foo

> (foo)
(a)
------------------------------------------------------------------------

という具合です。Schemeでも同様です。以下同じ例を挙げておきます。

------------------------------------------------------------------------
SCM version 5b2, Copyright (C) 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997 Free Software Foundation.

> (define (foo)
    (let ((foobar '(a)))
      foobar))
#<unspecified>

> (set-cdr! (foo) 'b)
#<unspecified>

> (foo)
(a . b)

> (define (foo)
    (let ((foobar '(a)))
      foobar))
#<unspecified>

> (foo)
(a)

> (define (bar)
    (let ((barbar (cons 'a '())))
      barbar))
#<unspecified>

> (set-cdr! (bar) 'b)
#<unspecified>

> (bar)
(a)

------------------------------------------------------------------------

;;; $Id: .signature,v 1.3 1996/09/20 07:06:26 kuroda Exp $
(define (くろだ ひさお)
  (email kuroda@msi.co.jp))