
Hacker News: Front Page
shared a link post in group #Stream of Goodies
well-typed.com
When "blocked indefinitely" is not indefinite
Consider a Haskell thread trying to read from a TMVar: x <- atomically $ takeTMVar v atomicallytakeTMVar v If the TMVar is currently empty and there are no other threads that could write to the TMVa