🚀 go-pugleaf

Hideki Sakurada (櫻田英樹) <sakurada@kuis.kyoto-u.ac.jp> writes:

> 加藤さん
> >「評価」じゃダメです．もう一回読み込ませて作り直させないと．
> 
> くろださん:
> > とあり、(defun foo ...)をもう一度評価する、とは、
> > 
> > (defun foo ()
> >  (let ((foobar '(a)))
> >    foobar))
> > 
> > を評価することの意味で書きました。
> > この他に解釈があるようには思えないのですが…
> 
> くろださんの「評価」は read & eval を含むけど,
> 加藤さんの「評価」は eval のみを指していますね.

ここが良くわからないですが、

少なくともわたしは「評価」をevalを指して使ったつもりでいます。
read&evalを指したつもりはありません。

たしかにわたしの挙げた例はreadを使ってますが、それは例を挙げる
のに便利であっただけで、readを使わずに同じ例は示せます。
たとえば以下はどうでしょう?

Starting gcl ...
GCL (GNU Common Lisp)  Version(2.2.2) Wed Jul  1 00:18:48 PDT 1998
Licensed under GNU Public Library License
Contains Enhancements by W. Schelter

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

  (print (foo))

  (rplacd (foo) 'b)

  (print (foo))

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

  (print (foo))

  t
  )

TEST

>(compile 'test)
Compiling gazonk0.lsp.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling gazonk0.lsp.
Loading gazonk0.o
start address -T 235000 Finished loading gazonk0.o
#<compiled-function TEST>

>(test)
(A) 
(A . B) 
(A) 
T


もう一度戻りますが、

Hideki Kato <katoh@pop12.odn.ne.jp> writes:

> > もちろん、(defun foo ...) をもう一度評価してやれば(foo)の返す値は元に戻
> > ります。上に続けて、
> 
> 「評価」じゃダメです．もう一回読み込ませて作り直させないと．

「評価」じゃダメではなくて、「評価」で十分だというのがわたしの認識です。

Hideki Sakurada (櫻田英樹) <sakurada@kuis.kyoto-u.ac.jp> writes:

> > 片山さんの例ですと、(defun foo ...)を評価しているのではなく、
> > あくまでaを評価していることになると思います。
> 
>  「aを」→「aの値を」
> 
> ですよね.

これはおっしゃる通りです。訂正ありがとうございました。

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