`eval` 的第一个参数必须是一个列表吗？

Question

Scheme 编程语言说

程序：(eval obj environment)

返回：obj 表示的 Scheme 表达式的值 环境

库：(rnrs eval)

如果obj 不代表语法上有效的表达式，eval 引发条件类型为&syntax 的异常。环境 由environment、scheme-report-environment 和 null-environment 是不可变的。因此，eval 也会引发一个 如果分配给任何 环境中的变量出现在表达式中。

(define cons 'not-cons)
(eval '(let ([x 3]) (cons x 4)) (environment '(rnrs)))   (3 . 4)
(define lambda 'not-lambda)
(eval '(lambda (x) x) (environment '(rnrs)))   #<procedure>
(eval '(cons 3 4) (environment))  exception

obj 到 eval 的第一个参数必须是一个列表吗？

Answer 1

不，原子也可以被评估。例如，在球拍中：

#!r6rs

(import (rnrs base (6))
        (rnrs eval (6))
        (rnrs io simple (6)))

(define env (environment '(rnrs)))

(display (eval 42 env))
=> 42
(display (eval #t env))
=> #t
(display (eval "xyz" env))
=> "xyz"