free-identifier =？之間的區別和bound-identifier =？

Question

試圖理解free-identifier =？和bound-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) 

的x通過go出臺了從它那膨脹工序的標誌，但在compare-with-x的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，而給予go2的x作爲參數沒有一個標誌。相同的故事。