It does so mostly. And Haskell also provides clever tools to corner the remaining issues. Like state transactional memory (STM). STM is actually really simple

It does so mostly. And Haskell also provides clever tools to corner the remaining issues. Like state transactional memory (STM). STM is actually really simple in Haskell, and implemented mostly as a library(!). Have a look: http://computationalthoughts.blogspot.nl/2008/03/some-examples-of-software-transactional.html http://computationalthoughts.blogspot.nl/2008/03/some-exampl...