为什么 foo 在这个 Racket 宏中与 (foo) 具有相同的值？

如何解决为什么 foo 在这个 Racket 宏中与 (foo) 具有相同的值？

我正在尝试了解 Racket 环境中的宏。这个概念让我很感兴趣。

在 Dr. Racket 的定义窗口写下这个定义后：

(define-Syntax foo
    (lambda (stx)
      (Syntax "I am foo")))

我使用 REPL 调用以下表达式：

> foo
"I am foo"

> (foo)
"I am foo"

这些结果让我感到惊讶。我期待第一次调用 foo 时会出现类似 #procedure 的东西。

为什么 (foo) 和 foo 提供相同的输出？

通常，我非常小心地在 Racket 中添加括号。通常，它们会完全改变被调用表达式的含义。在这种情况下，显然没有区别。

提前致谢。

解决方法

通常，我在 Racket 中添加括号时非常小心。

是的，您要小心是对的。它通常会有所作为。

然而，在您的情况下，它似乎没有什么区别，因为您正在创建一个过于简单的宏，无论宏是作为常规转换器调用还是作为 {{3 }}。

我期待在第一次调用 foo 时会出现 #procedure 之类的东西。

我想先解决这个问题。宏在语法上转换您的程序。例如，我可以编写一个宏 flip 来翻转操作数，以便

(flip foo 1 (let) bar baz 2)

被扩展（未评估）到：

(2 baz bar (let) 1 foo)

再次强调，这是一种程序转换，就像您如何使用编辑器编辑代码一样。

现在，让我们编写一些实际的宏：

(define-syntax bar
  (lambda (stx)
    (cond
      [(equal? (syntax->datum stx) '(bar abc def)) #'(+ 1 1)]
      [else #'(+ 2 2)])))

(bar abc def)      ;== expands => (+ 1 1) == evaluates => 2
(bar 42 (abc) qqq) ;== expands => (+ 2 2) == evaluates => 4
(bar)              ;== expands => (+ 2 2) == evaluates => 4

在上面的宏中，它检查输入语法在语法上是否为 (bar abc def)。如果是，则转换为 (+ 1 1)。否则，它会转换为 (+ 2 2)。

所有这些都是为了向您表明，期望宏导致“#procedure”（当然，除非宏扩展为 lambda）是不合理的，因为宏所做的是转换语法。它不创建过程。

最后的谜团是裸 foo 发生了什么。让我们创建一个宏 baz 来理解：

(define-syntax baz
  (lambda (stx)
    (cond
      [(equal? (syntax->datum stx) 'baz) #'1]
      [(equal? (syntax->datum stx) '(baz)) #'2]
      [else #'3])))

baz      ;== expands => 1
(baz)    ;== expands => 2
(baz 10) ;== expands => 3

事实证明，一个裸标识符也可以是一个宏！

现在，考虑一下您的foo：

(define-syntax foo
    (lambda (stx)
      (syntax "I am foo")))

这是一种忽略其操作数的转换，并始终扩展为 "I am foo"。

所以：

(foo 1 2 3) ;== expands => "I am foo"
(foo x y z) ;== expands => "I am foo"
(foo)       ;== expands => "I am foo"
foo         ;== expands => "I am foo"

请注意，在大多数宏中，我们使用模式匹配来提取操作数。当输入语法不匹配任何模式时，模式匹配可能会引发语法错误。例如，这允许我们创建一个不允许将其用作标识符宏的宏。

(define-syntax food
  (lambda (stx)
    (syntax-case stx ()
      ;; match when there is a parenthesis around the macro
      [(_ ...) #'1])))

(food) ;=> 1
food   ;=> food: bad syntax