带引号的 eval 方案函数

Question

我正在尝试评估方案中的公式：

(define formula '(if (or (equal? '?country 'United-States) (equal? '?country 'England))
                  #t
                  #f))
(define (eval-formula formula)
  (eval `(let ([?country 'United-States])
           (display formula) (newline)
           (display ?country) (newline)
           ,formula)))

(eval-formula formula)

阅读http://docs.racket-lang.org/guide/eval.html 应该返回#t，但是当我运行它时，它返回#f。你能告诉我我误解了什么吗？

我也试过了：

(define formula '(if (or (equal? '?country 'United-States) (equal? '?country 'England))
                  #t
                  #f))
(define ?country 'United-States)
(eval formula)

但我得到了相同的结果。

非常感谢！

Answer 1

在您对formula 的定义中，您引用了?country - 这是错误的。这是行为（注意，我的 Scheme 的 eval 需要一个额外的 environment 参数）：

(define formula '(if (or (equal? ?country 'United-States) (equal? ?country 'England))
                  #t
                  #f))

(define (eval-formula formula)
  (eval `(let ([?country 'United-States])
           (display formula) (newline)
           (display ?country) (newline)
           ,formula)
    (interaction-environment)))

> (eval-formula formula)
(if (or (equal? ?country 'United-States) (equal? ?country 'England)) #t #f)
United-States
#t

有几件事可以让这变得更好。你真的不需要if（你会得到#t或#f作为or的结果）。您可以将附加参数传递给eval-formula 以获取国家/地区名称。像这样（删除display）：

> (define (eval-formula formula country)
  (eval `(let ([?country ',country]) ,formula)
    (interaction-environment)))
> (eval-formula formula 'United-States)
#t
> (eval-formula formula 'England)
#t
> (eval-formula formula 'Japan)
#f

事实上，如果给你formula 和(quote ?country)，那么你可以产生一个新的formula 和?country 不带引号：

(define (unquoting identifiers expression)
  (if (null? expression)
      '()
      (let ((next (car expression)))
        (cons (cond ((not (pair? next)) next)
                    ((not (null? next))
                     (if (and (eq? 'quote (car next))
                              (member (cadr next) identifiers))
                         (cadr next) ; unquote here
                         (unquoting identifiers next)))
                    (else 'error))
          (unquoting identifiers (cdr expression))))))

 (set! formula (unquoting '(?country) formula)