lispにおける評価とは

Question

lispの「S式の評価」というものを知りたくて、以下のような実験をしました。

(defun sum (x y) (+ x y))

(sum 1 2)     ; 3                         ... ①
(sum '1 '2)   ; 3                         ... ②
(sum ''1 ''2) ; *** +: '1 is not a number ... ③

まず①より、評価結果が(+ 1 2)にならず3になるという事は、sumという関数では(+ 1 2)を作った後、そのS式を評価しているのだろうと分かります。

そして、②と③より、２つの引数を評価した後に(+ 1 2)を作っているのだろうと分かります。

つまり、任意のxとyにおいて、(sum x y)と(eval (+ (eval x) (eval y)))は同じ動作をするだろうと予想できるわけです。

評価の回数で言えば、引数の個数+1回となるでしょう。
順番で言えば、引数を全て評価→S式を置き換える→置き換えたS式を評価となります。

②の動作結果を追うと、引数である'1と'2をそれぞれ評価し1と2に、S式に置き換えて(+ 1 2)に、そして置き換えたS式を評価して3になったというわけです。

しかし、次の実験で予想と反した結果が起こりました。

(defun eval2 (x) x)

(eval2 '1)  ; 1
(eval2 ''1) ; '1

先ほどの実験結果から(eval2 ''1)を評価したS式を予想すると、1になるはずなのです。
まず、引数である''1を評価し'1になり、その後S式の置き換えを行って'1になり(ここは変わってないですが)、そして最後に置き換えたS式を評価して1になる。
はずなのですが、結果は'1です。

なぜこのような結果になるのでしょうか？

Answer 1

S式に置き換えて

という部分が違っていると思います。

②では、引数である'1と'2をそれぞれ評価し1と2に、仮引数のxに1をyに2をバインドして、(+ x y)を評価すると、関数呼び出しなので、引数のxを評価して1に、yも同じく。で、関数+の中で1と2が足されて3になります。関数+は3を返し、その値をそのまま関数sumが返す。

2つ目の例だと、引数である''1を評価し'1になり、仮引数のxに'1をバインドして、xを評価すると'1です。