free-identifier =？之间的区别？和bound-identifier =？

Question

试图了解free-identifier =？和bound-identifier =？。任何人都可以给我使用free-identifier =的等效代码示例吗？将返回true并使用bound-identifier =？会返回假。

由于

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)

x引入的go有一个标记来自该扩展步骤，但x中的compare-with-x没有，因此bound-identifier=?会考虑他们不同。

这是另一个例子：

(define-syntax (compare-xs stx)
  (syntax-case stx ()
    [(_ x1 x2)
     (with-syntax ([free=? (free-identifier=? #'x2 #'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则没有标记。同样的故事。