Reposted by @dfacastro.bsky.social
"linear-locks: locking primitives free of deadlocks"
If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want!
discourse.haskell.org/t/ann-linear...
#Haskell
discourse.haskell.org
[ANN] linear-locks: locking primitives free of deadlocks
linear-locks provides locking primitives that are statically guaranteed not to lead to deadlocks. It achieves this by breaking one of the Coffman conditions for deadlocks: the “circular wait” conditi...
