STM e alter in Clojure

Question

Sto lavorando attraverso il Clojure di programmazione prenotare. Mentre spiega alter E la STM, dicono che se, durante un alter, Clojure rileva una modifica all'arbitro dall'esterno della transazione, riesenterà la transazione con il nuovo valore. In tal caso, immagino che la funzione di aggiornamento che trasmetti deve essere pura, ma ciò non è indicato nei documenti (ed è in altre situazioni simili).

Quindi il mio presupposto è corretto? In caso contrario, in che modo l'STM applicano la funzione? Se è corretto, è vero che non puoi fare affidamento sui documenti per dirti quando puoi avere effetti collaterali e quando non puoi?