Why STM

Go straight to STM: why we teach it first

Everybody wants to know. Does Haskell have mutable state?

Yes! In fact, several different kinds – IORef, MVar, TVar – that have various tradeoffs depending on…

Ugh.