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-exampl...