Come mai le funzioni nel core sono più veloci quando non sono collegate localmente?

Question

L'esempio dice tutto:

user> (time (dotimes [i 10000000] (inc i))) 
"Elapsed time: 413.948711 msecs" 
nil 
user> (time (let [new-inc inc] (dotimes [i 10000000] (new-inc i)))) 
"Elapsed time: 1034.722729 msecs" 
nil 

Answer 1

Credo compilatore Inlines alcune funzioni fondamentali come inc, soprattutto se applicata agli argomenti primitivi.

Quando si utilizza inc come una funzione regolare (ad esempio passando a funzioni di ordine superiore, aliasing con let ecc.), Le prestazioni potrebbero quindi essere peggiori perché perde la capacità di inline. Il sovraccarico extra deriva dal fare una chiamata di funzione in più, forse anche il costo di inscatolare uno o più argomenti.

Questa non è una limitazione di Clojure, riflette solo il fatto che il compilatore non è ancora molto sofisticato con le sue ottimizzazioni. Probabilmente puoi aspettarti che cose come questa migliorino molto nelle versioni future di Clojure.

Answer 2

Solo per aggiungere a ciò che mikera ha menzionato inlining. inc è una variabile associata a una funzione. Se si guarda il meta di var inc i.e (meta #'inc) si troverà che ha una chiave :inliner il cui valore il compilatore può utilizzare per inline il codice della funzione in cui viene chiamato utilizzando var var. Quando si utilizza let per associarlo localmente, si sta vincolando l'oggetto funzione a un nuovo nome in ambito locale e l'oggetto funzione non ha alcuna informazione inlinea, era la variabile inc che ha quell'informazione e quindi il compilatore non può in linea .