4 ms·
may you share links to read or vote to understand better and push for?
by dlahoda 10mo ago
may you share links to read or vote to understand better and push for?
- thesz 10mo agohttps://timharris.uk/papers/2005-ppopp-composable.pdf https://timharris.uk/papers/2005-ppopp-composable.pdf - Composable Memory Transactions. Page 13 discuss why imperative approach like Rust's may fail in delivering transactional memory and why arbitrary-side-effect-free transactions in Haskell are, in fact, very composable due to effects separation inside STM and IO monads.