Discussion :

[Fused]

Bonjour à vous !

Je bosse sur un exo que j'aimerai bien comprendre : les macro en scheme

Je veux faire une macro until que je puisse utiliser ainsi :

Code :

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

1
2
3
4
(let ((i 1))
(until (> i 10)
(write i)
(set! i (* i 2))))

J'ai fais ça, je veux seulement utiliser quasiquote ' :

Code :

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

1
2
3
4
(define-macro (until test exp1 exp2)
'(do ()
      (test)
     exp1 exp2))

Vous l'aurez deviné, ça ne marche pas... Je ne suis pas du tout familier avec scheme, et même absolument pas, alors si vous pouvez me donner un coup de main et une explication, ça serait chouette !

Merci !!!!

[Garulfo]

Bonjour à vous !

Je bosse sur un exo que j'aimerai bien comprendre : les macro en scheme

Je veux faire une macro until que je puisse utiliser ainsi :

Code :

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

1
2
3
4
(let ((i 1))
(until (> i 10)
(write i)
(set! i (* i 2))))

J'ai fais ça, je veux seulement utiliser quasiquote ' :

Code :

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

1
2
3
4
(define-macro (until test exp1 exp2)
'(do ()
      (test)
     exp1 exp2))

Vous l'aurez deviné, ça ne marche pas... Je ne suis pas du tout familier avec scheme, et même absolument pas, alors si vous pouvez me donner un coup de main et une explication, ça serait chouette !

Merci !!!!

Absolument pas familier ? En fin de session ? Ça ne présage rien de bon ça pour ton examen final.

Bon alors, voici comment on fait une macro.

1. on écrit la manière dont on aimerait pouvoir utiliser la macro; tu l'as fait.
2. on écrit en quoi elle devrait se transformer; tu ne l'as pas vraiment fait, mais presque. On va dire que c'est ce que tu as mis après le quote.
3. on se rappelle comment s'évalue une macro et ce qu'elle doit retourner:
   
   • les arguments ne sont pas évalués: ce sont les identificateurs qui sont transmis aux paramètres formels de la macro
   • la macro doit construire et renvoyer une liste qui sera elle-même évaluée (à l'aide de eval)

Tu as bien construit une liste, mais celle-ci à la sortie de ta macro sera toujours

Code :

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

1
2
3
(do ()
      (test)
     exp1 exp2))

Il est donc bien possible que test, exp1 ou exp2 n'existent pas. Ça serait même étonnant du contraire. Pourquoi ? Parce que tu as construit ta liste avec un quote. Or je suis sûr que tu as vu d'autres exemples.

Comprends-tu le problème ?