Common Lisp: EVALの結果

Question

Common Lisp のEVAL関数の結果の理解に苦しむので質問させていただきます。

ポール・グレアム『Ansi Common Lisp』

EVALは式を引数とし、それを評価し、その値を返す。
例として、以下の式が載っています。

> (eval '(+ 1 2 3))
6
> (eval '(format t "Hello"))
Hello
NIL

「式の前にクオートを付けているのは、評価しないようにだな～」と考えたのですが、クオート無しでも同じ結果になります。

> (eval (+ 1 2 3))　　　; クオートを消した。
6

クオートをとっても同じ結果となります。変だと思い、他の関数でもできるのかなとlist関数を使ってみると、listはクオート無しではエラーになります。

> (eval '(list 1 2 3))　　; クオート有
(1 2 3)

> (eval (list 1 2 3))　　; クオート無
; caught ERROR:
;   illegal function call

多数クオートを付けてみました。期待通りの結果です。

CL-USER> (eval '(list 1 2 3))
(1 2 3)
CL-USER> (eval ''(list 1 2 3))
(LIST 1 2 3)
CL-USER> (eval '''(list 1 2 3))
'(LIST 1 2 3)
CL-USER> 

長くなりましたが、疑問を要約すると,

1. EVAL関数はクオートを付ける必要があるのかないのか、
2. クオートがなければ解釈に違いがあるのか、
3. なぜLIST関数はクオート無しではエラーになるのか
   という点です。
   よろしくお願いします。

Comments

[miyabi-sun]

`(eval 6)`を実行すれば1〜2は解決すると思います。
「何時実行するか」がキモになるはずなので。

Answer 1

2と3。
(eval (+ 1 2 3))は、(+ 1 2 3)がまず評価されて6になり、つまり(eval '6)になるので結果も6です。

(eval (list 1 2 3))は、(list 1 2 3)がまず評価されて(1 2 3)になり、つまり(eval '(1 2 3))になるので1という関数は無いというエラーになります。

(eval (list '+ 1 2 3))であれば、(list '+ 1 2 3)がまず評価されて(+ 1 2 3)になり、つまり(eval '(+ 1 2 3))になるので結果は6です。

1。

EVAL関数はクオートを付ける必要があるのかないのか、
そもそも、「EVAL関数はクオートを付ける必要があるのかないのか」という問いかけ自体が無意味です。
evalは引数を評価するのであり、引数として、クォートを付けてリストリテラルを書こうが、変数を書いて変数の値を評価しようが、関数を呼び出してその関数が返す値を引数にしようが、どれでもＯＫです。

(eval '(+ 1 2 3))

(setq x '(+ 1 2 3))
(eval  x)

(eval (cons '+ (list 1 2 3)))

Comments

[tf2014]

とても明快な回答ありがとうございます。
「(eval '(1 2 3))になるので1という関数は無いというエラーになります。」という説明で、ハッキリとしました。
これでLISPの探検の先に勧めそうです。

[tf2014]

```
CL-USER> (loop (print (eval (read))))
```
質問の発端は、このコードでREPL が作れるということに感動したからでした。　

PYTONを始めたころREPLで、対話をしてコードが書ける、ということを読んで、何の感動もしなかったのに、REPLとは、本当にREAD-EVAL-PRINT-LOOPだったのだとLISPに一休さんが閃いたときのような感動を覚えました。

ちなみに、PYTHONでやってみたらこうなりました。
```
while True: print(eval('input("IEPW>")'))
```
REPLでなく、input-eval-print-while (IEPW) ですね。