Comment mapper une macro dans une liste dans Scheme?

Question

J'ai une macro Scheme et une longue liste, et je voudrais mapper la macro sur la liste, comme s'il s'agissait d'une fonction. Comment puis-je faire cela en utilisant R5RS?

La macro accepte plusieurs arguments:

(mac a b c d) 

La liste a

(define my-list ((a1 b1 c1 d1) 
       (a2 b2 c2 d2) 
       ... 
       (an bn cn dn))) 

et je voudrais avoir ceci:

(begin 
    (mac a1 b1 c1 d2) 
    (mac a2 b2 c2 d2) 
    ... 
    (mac an bn cn dn)) 

(Soit dit en passant, comme vous peut voir que je voudrais épisser la liste des arguments aussi)

Answer 1

expansion sur la réponse de z5h d'utiliser eval, les méthodes ci-dessous montrent comment écrire une macro carte-macro si interaction environnement mis en œuvre dans la version de r5rs en cours d'utilisation:

(define test-list '((1 2 3 4) 
        (5 6 7 8))) 

;Or if your version of scheme implments interaction-environment then: 
(define-syntax trade 
    (syntax-rules() 
    ((_ a b c d) (display (list b a d c))))) 

;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 
;Careful this is not really mapping. More like combined map and apply. 
;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 
(define-syntax map-macro 
    (syntax-rules() 
    ((_ mac ls) (let ((mac-list (map (lambda (lst) (cons 'trade lst)) ls))) 
          (eval 
          `(begin 
           ,@mac-list) 
          (interaction-environment)))) 
         )) 

(map-macro trade test-list) 
;outputs: (2 1 4 3)(6 5 8 7) 

Alors que la dernière carte appel -macro évalue les suivantes:

Ce qui finit par être évalué à partir (carte-macro-liste de test du commerce) est:

(begin 
    (trade 1 2 3 4) 
    (trade 5 6 7 8)) 

Ce qui est pas tout à fait une carte, mais je crois cela répond à votre question.

Answer 2

Would quelque chose comme

(map (lambda (l) (mac (car l) (caar l) (caaar l) (caaaar l))) mylist)

travail?

Answer 3

extensions syntaxiques sont développés dans formes de base au début de l'évaluation (avant la compilation ou de l'interprétation) par un expanseur de syntaxe. -Dybvig, « Le langage de programmation Scheme .

Une macro fonctionne sur la syntaxe Cela se produit avant la compilation ou l'exécution Il vous donne une autre façon d'écrire le même code

Une fonction fonctionne sur les variables et.. valeurs (qui peuvent être des listes, des atomes, des nombres, etc.) dont la valeur est connue lorsque la fonction est appelée

Donc, le mappage d'une macro n'a pas de sens. est arrivé il y a longtemps.

Si vous avez besoin de quelque chose pour écrire du code pour vous et l'évaluer lors de l'exécution, il se peut que ce soit l'un de ces cas où vous avez besoin de eval.