On: Structured Concurrency in High-Level Languages

[smaddox]

So it's race free.... If you test every single possible system state, and remove all the race conditions. No thanks.

[ghkbrew → smaddox]

A race condition is a situation where the result depends on the ordering/interweaving of threads. And that example isn't actually one.

It's a deadlock which are also bad but much more deterministic and easier to debug.