Ordine di valutazione degli argomenti di funzione in Clojure

Question

Does Clojure specifica l'ordine di valutazione degli argomenti di funzione?

I.e. Quando chiamo una funzione in Clojure:

(my-func (fun1 arg1) (fun2 arg2) (fun3 arg3)) 

è l'ordine di valutazione di fun1, fun2, e fun3 definiti?

Capisco che Java definisca l'ordine di valutazione degli argomenti di funzione come da sinistra a destra, ma posso immaginare un linguaggio funzionale come Clojure che è più rilassato.

Answer 1

L'ordine di valutazione è da sinistra a destra. Vedere http://clojure.org/evaluation

Sia l'operatore e gli operandi (se presenti) vengono valutati, da sinistra a destra .

Answer 2

Da sinistra a destra, ma anche all'interno (fun1 (fun2 arg2)).

Penso che in generale per un linguaggio funzionale, si vorrebbe evitare la situazione in cui (fun1 arg1) influenze (fun2 arg2) o (fun3 arg3). (fun1 arg1) restituirebbe idealmente un valore senza alterare lo stato delle strutture dati esistenti nel programma.

Pertanto, a seconda di quanto ci si avvicini a uno stile di programmazione funzionale, l'ordine di valutazione da sinistra a destra non è importante.

vedere http://clojure.org/state

Answer 3

(my-func (fun1 arg1) (fun2 arg2) (fun3 arg3))

my-func ha sarà superato arity pari a 3. Il risultato di (arg1 fun1) come il primo argomento per my-func. Ecc. Quindi my-func verrà eseguito.

Pertanto l'ordine di valutazione degli argomenti su my-func non ha alcuna importanza.

Se si hanno degli effetti collaterali, quindi, bene, hmmmm ... Ma questa risposta non cambia. L'ordine non ha importanza.

Cheers -