Discussion :

[avator]

Dans un problème vu dans un très court cours de Scheme, on m'a dit qu'il était possible de générer des erreurs en réusissant la capture de nom d'une variable en apellant une fonction

Comme exemple

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
(define-macro (dolist var liste body)
             '(letrec ((loop (lambda (tail)
                     (if (pair? tail)
                           (let (( ,var (car tail)))
                            ,body
                           (loop (cdr  tail))))))))
              (loop ,liste)))

La variable "loop" ici, si une autre copie d'une autre variable "loop" est apellée dans "var", "liste", et "body" risque de causé un problème de "capture de nom", et donc on a dit que c'était possible d'éviter cela avec gensym, ce que je comprend bien.

Par contre, je ne sais pas comment générer se problème. Je comprend le concept mais je n'ai jamais fait de scheme alors je ne sais même pas comment on fait un appel a une macro avec une variable qui contient un nom d'une autre variable o_O-
(dotimes(3 (loop4)) write "hello")) ou qqchose du genre?
Est-ce que le problème se présente de la même facon dans "var", "liste" et "body"?

Isa

[Garulfo]

C'est normal que je n'ai rien compris à ton problème ?

En premier lieu, si tu n'as jamais fait de Scheme qu'est-ce qui te prend de chercher à répondre à un problème de macro ? Certes les macros en Scheme sont plus facile à digérer que dans n'importe quel langage, mais il faut quand même connaître un minimum de Scheme !

Ensuite, voyons ce que je peux t'expliquer. Je comprends que tu parles de macro non hygiénique. Ça ça va. Ainsi l'exemple classique utilisé en classe est le suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
(define-macro (echanger-valeurs valeur-1 valeur-2)
  `(let [(tmp ,valeur-1)]
    (begin
      (set! ,valeur-1 ,valeur-2)
      (set! ,valeur-2 tmp))))

Ceci n'est pas satisfaisant car si quelqu'un utilise cette macro dans le programme suivant

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(define tmp 'a)
(define x 'b)
(echanger-valeurs tmp x)

on obtient l'expansion suivante de la macro

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
(let [(tmp tmp)]
  (begin
    (set! tmp x)
    (set! x tmp)))

ce qui ne marche pas, bien entendu. D'où la nécessité d'emploi d'un générateur de symbole ou, mieux, d'une macro hygiénique.

Est-ce plus clair ?

[avator]

Parles-moi en de se cours de programmation de fou que j'ai pris a l'université, qui effectivement est rempli de question de se genre dans les examens sans que nous n'ayons jamais fait un minimum de scheme (pareil pour haskell, prolog... )

Enfin, merci de ta réponse, je crois que ca va etre suffisant