球拍的repl如何评估这些引用的表达式？

Question

对于以下输入,我无法完全理解球拍的REPL行为:

> 1     ;; Simple, 1 is self-evaluating
1
> '1    ;; (quote x) => x
1
> ''1   ;; ?? I expected '1
''1
> '''1  ;; ???
'''1

我尝试编写一个简单的宏来测试:

#lang racket

(define-syntax e
  (syntax-rules ()
    ((e x) (display (eval x )))))

但它也给了我意想不到的输出:

> (e 1)     ;;Self evaluating 
1
> (e '1)    ;;Evaluated '1 as 1
1
> (e ''1)   ;;Shouldn't ''1 have been evaluated only once to '1?
1
> (e '''1)
'1

那么racket的repl做了多少额外的步骤,为什么我的宏不像我预期的那样工作？

Answer 1

这与Racket打印机的默认行为有关(REPL用于输出;它与之不同display).运行此,然后再试一次:

(print-as-expression #f)

至于(eval ''1),这与事实,做的''1是一样的(quote (quote 1)),其计算结果为(quote 1),当其传递给eval随后导致1.