https://twitter.com/zivergetech/status/1430916729975214085
Тут сегодня написано "New blog post"
Может нна сайте ошибка сдатами?

import zio._
import zio.stm._
import zio.duration._

def yoba(ref: TRef[Boolean]): Task[Unit] = for {
 _ <- ZIO(println("Opa"))
 _ <- ref.get.collect { case v if v == true => () }.commit
 _ <- ZIO(println("Opa 2"))
} yield ()

val eba = for {
 latch <- TRef.make(false).commit
 _ <- yoba(latch).fork
 _ <- yoba(latch).fork
 _ <- yoba(latch).fork
 _ <- ZIO.sleep(5.seconds)
 _ <- latch.update(_ => true).commit.unit
 _ <- ZIO.sleep(5.seconds)
} yield ()

val runtime = Runtime.default
runtime.unsafeRun(eba)

@jdegoes @adamfraser There is now a fix for that bug: github.com/typelevel/cats…. That makes me think that establishing proofs about the correctness of a runtime would be a fun project