मुक्त पहचानकर्ता के बीच अंतर =? और बाध्य पहचानकर्ता =?

Question

मुक्त पहचानकर्ता को समझने की कोशिश कर रहे हैं =? और बाध्य पहचानकर्ता =? क्या कोई मुझे समकक्ष कोड उदाहरण दे सकता है जहां फ्री-पहचानकर्ता = का उपयोग कर? सच हो जाएगा और बाध्य पहचानकर्ता = का उपयोग कर? झूठी वापसी होगी।

धन्यवाद

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 उस पर है कि विस्तार कदम से एक निशान है, लेकिन compare-with-x में x नहीं है, इसलिए bound-identifier=? उन्हें अलग मानता है करता go द्वारा शुरू की गई है।

यहाँ एक और उदाहरण है:

(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, जबकि xgo2 को दिया के रूप में एक तर्क एक निशान भी नहीं है। वही कहानी।