= différence entre libre identificateur? et lié à un identificateur =?

Question

Essayer de comprendre sans identifiant =? et lié à un identificateur = ?. Quelqu'un peut-il me donner des exemples de code équivalents où l'utilisation sans identifiant =? renverrait vrai et en utilisant lié identificateur =? renverrait faux.

Merci

Answer 1

Voici un exemple:

(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)

Le x introduit par go a une marque de cette étape d'expansion sur elle, mais le x dans compare-with-x ne pas, donc bound-identifier=? les considère comme différents.

Voici un autre exemple:

(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)

Ici go2 introduit également un x avec une marque, alors que la x donnée à go2 comme argument n'a pas une marque. Même chose.