使用語法列表作爲函數的形式參數

Question

這是場景：給定[sym ...]（例如和[a b c d]）形式的模式我想要生成（使用宏）連接模式中的符號的函數，但也提供他們作爲論據。例如，轉變爲形式

(define (ab a b) 
    body) 

在this post有人幫助我通過所謂signal-list語法類生成函數的名稱的東西。在下面的代碼中，我可以將signals模式變量與(sig ...)格式的模式匹配，然後我可以使用它來生成所需的函數定義。

(define-syntax (define-something stx) 
    (syntax-parse stx 
    [(_ (signals:signal-list body ...)) 
    (syntax-parse #'signals 
     [(sig ...) 
     #'(define (signals.concatenated-ids sig ...) 
       body ...)])])) 

，這個宏觀匹配的例子：

(define-something 
    ([a b] 'body)) 

它擴展到(define (ab a b) 'body)

但如何宏的工作，如果我想生成多個函數的定義？例如：

(define-something 
    ([a b] 'body) 
    ([c d e] 'body)) 
=> 
(begin (define (ab a b) 'body) 
     (define (cde c d e) 'body)) 

我可以在第一語法解析的方式添加一個省略號：

(_ (signals:signal-list body ...) ...)

但我不能使用第二語法解析來匹配signals，因爲它需要省略號。有沒有不同的方式來'去構造'signals，以便我可以使用它的內容作爲函數的形式參數，這與使用橢圓相兼容？

Answer 1

要直接回答您的問題，您可以將#'(signals ...)（代替您現有的#'signals）傳遞給內部syntax-parse調用。

---

由於概念證明，我寫了一個syntax-case版本的宏（因爲我不知道syntax-parse還）。你應該能夠在相同的技術適應syntax-parse容易：

(define-syntax (define-something outerstx) 
    (define (make-name paramstx) 
    (datum->syntax outerstx 
        (string->symbol 
        (apply string-append 
          (map symbol->string (syntax->datum paramstx)))))) 

    (define (make-names innerstx) 
    (syntax-case innerstx() 
     (() 
     #'()) 
     (((param ...) rest ...) 
     (with-syntax ((name (make-name #'(param ...))) 
        ((next ...) (make-names #'(rest ...)))) 
     #'(name next ...))))) 

    (syntax-case outerstx() 
    ((_ ((param ...) body ...) 
     ...) 
    (with-syntax (((name ...) (make-names #'((param ...) ...)))) 
     #'(define-values (name ...) 
      (values (lambda (param ...) 
        body ...) 
        ...))))))