🚀 go-pugleaf

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

> ＃単なる評価では，（Ｓ式の保存方法に依存して）Ｓ式の中の定数 '(a) が書き直され
> ＃てしまう場合があるので元に戻るとは限りません．Ｓ式をなんらかの方法で作り直す
> ＃のが確実です．

(test)の例を見ていただければわかるように、
単なる評価で元に戻すことができています。

> いずれにせよ，こういう定数を書き替えた場合にどうなるかは，基本的に
> 未定義だと思いますし，処理系に強く依存する話なので，簡単に断言はで
> きません．＜これが言いたかった．
> 
> 従って，「「評価」で十分」と断言するのは乱暴＆間違ってると思います．＜実はこっちはどうでもいい．

(test)の例を見ていただければわかるように評価で十分かと思います。
                             ;ちなみに、ここはどうでも良くないです。
処理系に依存するコードとも思えませんが、
もしこの例がわたしの意図したとおりに通らない
処理系が現存するようなら教えてください。大変興味があります。

> foo を（equal ではあるが eq ではないＳ式で）定義し直せば元に戻るのは当たり前
> でしょう．そういう議論をしているんじゃありませんよ．(-.-)

わたしは最初そのあたりまえのことしか言ってなかったと思いますが…

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

> 加藤さんの挙げた例では a の値を評価したので, 別の
> ものを評価していた, ということですね.

はい。そう考えています。

;;testのコンパイルは癖です。必要ないです。
;;混乱の原因になっていたらすみませんでした。

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