free-identifier= 之间的区别？和绑定标识符=？

Question

试图理解 free-identifier=？和绑定标识符=？。谁能给我使用 free-identifier= 的等效代码示例？将返回 true 并使用bound-identifier=?会返回 false。

谢谢

Answer 1

下面是一个例子：

(define-syntax (compare-with-x stx)
  (syntax-case stx ()
    [(_ x-in)
     (with-syntax ([free=? (free-identifier=? #'x-in #'x)]
                   [bound=? (bound-identifier=? #'x-in #'x)])
       #'(list free=? bound=?))]))

(define-syntax go
  (syntax-rules ()
    [(go) (compare-with-x x)]))

(go) ;; => '(#t #f)

由 go 引入的 x 上有该扩展步骤的标记，但是 compare-with 中的 x -x 没有，因此 bound-identifier=? 认为它们不同。

这是另一个例子：

(define-syntax (compare-xs stx)
  (syntax-case stx ()
    [(_ x1 x2)
     (with-syntax ([free=? (free-identifier=? #'x1 #'x2)]
                   [bound=? (bound-identifier=? #'x1 #'x2)])
       #'(list free=? bound=?))]))

(define-syntax go2
  (syntax-rules ()
    [(go2 x-in) (compare-xs x-in x)]))

(go2 x) ;; => '(#t #f)

这里 go2 还引入了一个带有标记的 x，而 x 被赋予 go2 作为论证没有标记。同样的故事。