Hell Is Other Languages : Software Transactional Memory for F#

The library exposes memory transactions as a monad using F#’s new computation expression feature. Software transactional memory (STM) is an approach to concurrent programming that avoids the use of traditional, error-prone locks to control access to shared memory. Instead of using locks a programmer specifies sections of code that will make atomic changes to shared memory.