3
Perché alcuni linguaggi funzionali richiedono memoria transazionale del software?
I linguaggi funzionali, per definizione, non dovrebbero mantenere variabili di stato. Perché, allora, Haskell, Clojure e altri forniscono implementazioni di memoria transazionale di software (STM)? Esiste un conflitto tra due approcci?