Схема Macro для гнездования выражений

Question

Может макрос быть написана на схеме (с define-syntax, например), которые будут принимать такие выражения, как это:

(op a b c d e f g h i j) 

И выход выражения, как это как выход?

(op (op (op (op (op (op (op (op (op a b) c) d) e) f) g) h) i) j) 

Конечно, для произвольной длины. Я не могу придумать способ сделать это, учитывая некоторый шаблон, как это:

(define-syntax op 
    (syntax-rules() 
    [(_) 'base-case] 
    [(v1 v2 ...) 'nested-case??])) 

Answer 1

(define bop list) 

(define-syntax op 
    (syntax-rules() 
    ((op a b) (bop a b)) 
    ((op a b c ...) (op (bop a b) c ...)))) 

Например, (op 1 2 3 4) расширяется (bop (bop (bop 1 2) 3) 4) и вычисляет (((1 2) 3) 4).

Answer 2

Чтобы показать, как ответ работает:

(op 1 2 3 4) 

Это оп 4 заявления, так что второй случай получает выбран с = 1, B = 2, с = 3, ... = 4:

(op (bop 1 2) 3 4) 

Это операционная система с тремя операторами, поэтому второй случай снова. а = (BOP 1 2), б = 3, с = 4:

(op (bop (bop 1 2) 3) 4) 

Теперь это BOP с 2 заявления, так что а = (BOP (BOP 1 2) 3), B = 4, и готово.

Answer 3

Функция, которую вы хотите применить к аргументам, сама должна быть аргументом для макроса. Не имея этого, мое решение было таким же.

#!r6rs 

(import (rnrs base)) 

(define-syntax claudiu 
    (syntax-rules() 
    ((claudiu fun first second) 
    (fun first second)) 
    ((claudiu fun first second rest ...) 
    (claudiu fun (claudiu fun first second) rest ...))))