Macro Clojure que crea una función de orden superior desde una función

Question

Estoy intentando escribir una macro que construye un middleware similar al que se usa en compojure.

quiero ser capaz de llamar a:

(def-middleware plus-two [x] 
    (+ 2 x)) 

Y tienen el resultado se parece a:

(defn plus-two [f] 
(fn [x] 
    (f (+ 2 x))) 

Tengo esta muy lejos de guías de lectura en línea pero no está funcionando para mí:

(defmacro def-middleware [fn-name args & body] 
    '(defn ~fn-name [f] 
    (fn ~args 
     (f ~@body)))) 

Cualquier ayuda o un puntero a una mejor guía de macro escritura sería genial, gracias.

Answer 1

Veamos lo que nos da macroexpand-1:

user=> (clojure.pprint/pprint (macroexpand-1 '(def-middleware plus-two [x] (+ 2 x)))) 
(defn 
~fn-name 
[f] 
$ 
(fn ~args$ (f (clojure.core/unquote-splicing body)))) 

No es precisamente lo que estamos buscando! Lo primero es lo primero: si quieres anular la selección de elementos en una macro, necesitas usar "` "(el operador quasiquote/sintaxis-cita), no" '". Además, no estoy seguro de qué es lo que buscas con esos signos de dólar, pero podría que vas por el atajo práctico de clojure para usar gensym para la higiene. Pero lo necesita inmediatamente después de cada identificador con el que lo usa (así que [f#], no [f]$), y lo necesita en cada aparición del identificador. Y usted no lo necesita con args. Juntando todo esto:

user=> (defmacro def-middleware [fn-name args & body] `(defn ~fn-name [f#] (fn ~args (f# ~@body)))) 
#'user/def-middleware 
user=> (clojure.pprint/pprint (macroexpand-1 '(def-middleware plus-two [x] (+ 2 x)))) 
(clojure.core/defn 
plus-two 
[f__594__auto__] 
(clojure.core/fn [x] (f__594__auto__ (+ 2 x)))) 
nil 
user=> 

Answer 2

Tal vez esto es sólo un ejercicio de macro, pero el ejemplo específico de la definición de una función de middleware no es bueno - se pierde una gran cantidad de la flexibilidad que el concepto de middleware le da. Por ejemplo, ¿por qué debería esto evaluar (f (+ 2 x)) en lugar de (+ 2 (f x))? Ambas son formas sensatas de ajustar esta función, y su sintaxis no da ninguna forma de describir esta última. Realmente solo definir una función que devuelve una función es flexible, simple y fácil; esta macro trae poco a la mesa.