3 ms·

From what I read here: https://stackoverflow.com/questions/57489844/how-does-readioref-work-creates-copy-or-it-does-not https://stackoverflow.com/questions/574

From what I read here: https://stackoverflow.com/questions/57489844/how-does-readioref-work-creates-copy-or-it-does-not https://stackoverflow.com/questions/57489844/how-does-readio... IORef does not allow a value to mutate, it allows a pointer to a value to mutate. Am I correct? Does the ST Monad work in the same way? or does it truly allow values to be updated in place?

thesz 6y ago
IORef is a pointer to value that can be changed. IORef holds pointer to a value (boxed value) because most Haskell values are lazy. Please look at unboxed vectors for another example: https://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector-Unboxed-Mutable.html https://hackage.haskell.org/package/vector-0.12.1.2/docs/Dat... You can create an unboxed mutable vector and read and update its elements. Vectors are stored as Structure Of Arrays (Vector (a,b) is transformed into (Vector a, Vector b)) and are very efficient in transformations. Next to them you can find Storable vectors which allow you to store and update any values that have Storable class instance defined. They are for cases when you need Array Of Structures. Continuing Vector example, ST monad allows you to create a computation that uses mutation internally and looks pure from outside - do new/read/write and then return freezed array. Apply ST monad runner and you get pure freezed array. IO monad allows you to pass that array between computations of different kind.