Sintassi concisa per parziale in Clojure

Question

Imparando Haskell qualche tempo fa, mi sono innamorato della notazione pointfree e dell'applicativo di funzione parziale particolarmente conveniente - solo argomenti di fornitura che conosci. In Clojure, ho sempre partial. Penso che avere una sintassi speciale per i lettori parziali sia piacevole da avere.

sguardo al codice di esempio:

; Notation with points: 
(map (+ 10 (* % 2)) [1 2 3]) 

; With partial: 
(map (comp (partial + 10) (partial * 2)) [1 2 3]) 

; Let #[] syntax means partial application in reader: 
(map (comp #[+ 10] #[* 2]) [1 2 3]) 

Questo è così bello! C'è qualcosa di simile? C'è la possibilità di definire macro del lettore personalizzato?

Answer 1

Un anonimo sintassi della funzione # (...) può essere utilizzato in modo simile a ciò che si sta cercando di fare:

user=> (map (comp (partial + 10) (partial * 2)) [1 2 3]) 
(12 14 16) 

è equivalente a:

user=> (map (comp #(+ 10 %) #(* 2 %)) [1 2 3]) 
(12 14 16) 

Una piccola piccola differenza è % che significa solo un argomento di funzione, in questo caso il primo e unico.

Answer 2

Mi piace molto la tua idea per una notazione a funzione parziale usando il # # letterale. Sfortunatamente, Clojure non ci permette di migliorare direttamente la notazione #(), ma possiamo definirci una macro come #p per un'applicazione parziale.

Dato si dispone di una funzione di

(defn partial-wrap 
    [args] 
    (concat '(partial) args)) 

definito myapp.core. È possibile aggiungere la seguente voce nella data_readers.clj nella parte superiore del classpath:.

{p myapp.core/partial-wrap} 

(di solito uno dovrebbe utilizzare uno spazio dei nomi simbolo qualificato qui come a/p, dal momento che i simboli non qualificate sono riservati per Clojure simboli Tuttavia non qualificati funzionano , è necessario affidarsi a Clojure senza sovrascriverli in una versione futura).

Questo permette, infine, di fare quasi quello che hai chiesto:

(map (comp #p[+ 10] #p[* 2]) [1 2 3]) 
=> (12 14 16) 

Answer 3

ho trovato un approccio di avere parziale in casi come nella mia interrogazione: (map #(+ 10 (* 2 %)) [1 2 3). Utilizza la macro ->>: (map #(->> % (* 2) (+ 10)) [1 2 3]. Macro simili sono ->, .. e doto applicabili in diverse situazioni.