To tylko hipotetyczny scenariusz ilustrujący moje pytanie. Załóżmy, że istnieją dwa wątki i jeden TVar współdzielony między nimi. W jednym wątku znajduje się blok atomowy, który odczytuje TVAR i trwa
Próbuję znaleźć różnice między tym, co Clojure nazywa STM, a tym, co jest zaimplementowane w Haskell jako STM. Biorąc faktyczne różnice semantyczne w języku, jestem trochę zdezorientowany, jak Rich Hi