在 Racket/Scheme 中这种形式的语法大小写有什么用法

Question

我对有关使用语法案例的文档感到困惑，但是 f 可能意味着什么？

(define-syntax (check stx)
   (syntax-case stx ()
       [(f (x y))
        #'(list 'second: f x y)]))

Answer 1

这段代码以一种相当微妙的方式被破坏了。

首先，

(define-syntax (check stx)
   (syntax-case stx ()
       [(f (x y))
        #'(list 'second: f x y)]))

(check (3 4))

产生一个错误： check：错误的语法： check

但问题在于扩展中出现的“f”的使用。要看到这一点，请尝试将其取出：

(define-syntax (check stx)
   (syntax-case stx ()
       [(f (x y))
        #'(list 'second: 1234 x y)]))

(check (3 4))

这评估良好，产生 '(second: 1234 3 4)

那么，为什么第一个失败了？问题是，在您的第一个示例中，

(check (3 4))

扩展为

(list 'second check 3 4)

但是，这个问题是扩展中的“check”是“check”宏的另一种用法，因此必须进一步扩展，并且第二次展开的形状不正确。

要看到这一点，您可以尝试使用宏步进器扩展您的程序。运行宏步进器，使用下拉菜单选择“标准”宏隐藏，单击“结束-->”按钮，然后返回上一步。

正常的约定是使用下划线“_”作为“不关心”符号来匹配模式中的宏名称，如下所示：

(define-syntax (check stx)
   (syntax-case stx ()
       [(_ (x y))
        #'(list 'second: 1234 x y)]))

(check (3 4))

出于好奇：这段代码来自哪里？