스키마에서 매크로의 값 목록에 "rest"변수를 바인딩하는 방법

Question

일치 확장을 작성하기위한 도우미 매크로를 만들고 싶습니다. 나는 다음과 같은 것을 가지고있다 :

(define-match-expander my-expander 
    (λ (stx) 
    (let* ([dat (cdr (syntax-e stx))] 
      [var1 (car dat))] 
      [var2 (cadr dat)]) 
     ;transformer goes here))) 

그래서 나는 바인딩을 할 매크로를 원했다. 저는 다음과 같이 시작했습니다 :

(define-syntax-rule (define-my-expander (id vars ...) body) 
    (define-match-expander id 
    (λ (stx) 
     (match-let ([(vars ...) (cdr (syntax-e stx))]) 
     body)))) 

그러나 match-let은 변환 시간에 정의되어 있지 않습니다.

첫 번째 질문은이 작업을 수행하는 다른 방법일까요? (이 확장 기능을 만드는 것입니까?) 아마도 이미 알고있는 plt-scheme과 비슷한 것이 있거나 어떤 식 으로든 잘못하고 있습니다.

첫 번째 질문에 대한 대답에 관계없이 매크로의 값 목록에 변수 목록을 바인딩하려는 경우 어떻게해야합니까?

편집 : 나는 당신이 달성하기 위해 노력하고 있다는 것입니다,하지만 내 추측이 오른쪽에가는 것이 무엇인지 모르는

(define-syntax-rule (define-my-expander (id vars ...) body) 
    (define-match-expander id 
    (λ (stx) 
     (syntax-case stx() 
     [(_ vars ...) 
     body])))) 

Answer 1

: 엘리의 응답 매크로와 결합 이제 다음과 같습니다 방향 :

(define-match-expander my-expander 
    (lambda (stx) 
    (syntax-case stx() 
     [(_ (var1 var2) stuff ...) 
     ;; use #'var1 #'var2 and #'(stuff ...) here 
     ]))) 

것은이 syntax-e이 구문 객체를 "풀다"하고 보유하고 무엇을 제공하는 데 사용됩니다 -하지만 실제 내용은 당신을 놀라게 할 수 있습니다. 예를 들어, (foo . (bar))은 (foo bar)과 약간 다른 내용을 갖습니다. 따라서 일반적으로 syntax-case을 사용하여 패턴 일치를 수행하면 이 훨씬 많습니다. 더 쉽습니다. 더 쉬울뿐만 아니라, 코드를 사용하는 대신 오류가있을 때 감각적 인 오류 메시지를 제공합니다.