Aiutami a scrivere una macro Clojure che aggiunge automaticamente i metadati a una definizione di funzione

Question

Mi rendo conto che la prima regola di Macro Club è Non usare macro, quindi la seguente domanda è intesa più come esercizio di apprendimento di Clojure che altro (Mi rendo conto che questo non è necessariamente il migliore utilizzare di macro).

Voglio scrivere una macro semplice che funge da wrapper attorno a una macro regolare (defn) e termina aggiungendo alcuni metadati alla funzione definita. Così mi piacerebbe avere qualcosa di simile:

(defn-plus f [x] (inc x)) 

... espandere fuori a qualcosa di simile:

(defn #^{:special-metadata :fixed-value} f [x] (inc x)) 

In linea di principio questo non sembra così difficile per me, ma io Ho problemi a individuare le specifiche per ottenere il [args] e altri moduli nella funzione definita da analizzare correttamente.

Come bonus, se possibile, vorrei che la macro fosse in grado di gestire tutte le diverse forme di defn (cioè, con o senza docstring, definizioni multiple di arità, ecc.). Ho visto alcune cose nel pacchetto clojure-contrib/def che sembrava possibilmente utile, ma è stato difficile trovare codice di esempio che le usasse.

Answer 1

Aggiornato:

La versione precedente della mia risposta non era molto robusto. Questo mi sembra un modo più semplice e più corretto di farlo, rubato da clojure.contrib.def:

(defmacro defn-plus [name & syms] 
    `(defn ~(vary-meta name assoc :some-key :some-value) ~@syms)) 

user> (defn-plus ^Integer f "Docstring goes here" [x] (inc x)) 
#'user/f 
user> (meta #'f) 
{:ns #<Namespace user>, :name f, :file "NO_SOURCE_PATH", :line 1, :arglists ([x]), :doc "Docstring goes here", :some-key :some-value, :tag java.lang.Integer}

#^{} e with-meta non sono la stessa cosa. Per una spiegazione della differenza tra di loro, vedi la discussione di Rich sullo Clojure mailing list. È tutto un po 'confuso ed è venuto fuori un sacco di volte sulla mailing list; vedi anche here per esempio.

Si noti che def è un modulo speciale e gestisce i metadati un po 'stranamente rispetto ad altre parti della lingua. Imposta i metadati dello var sei def fing per i metadati del simbolo che dà il nome alla var; questa è l'unica ragione per cui funziona sopra, penso. Vedi la classe DefExpr in Compiler.java nella fonte Clojure se vuoi vedere il coraggio di tutto questo.

Infine, la pagina 216 del Programming Clojure dice:

Si dovrebbe evitare in generale le macro lettore in espansioni di macro, dal momento che le macro lettore vengono valutate in fase di lettura, prima dell'inizio macro espansione.