Deadlocks ain't irreducible complexity. Software Transactional Memory or the same concept in any old relational database don't give you deadlocks. And there's

Deadlocks ain't irreducible complexity. Software Transactional Memory or the same concept in any old relational database don't give you deadlocks. And there's a lot of 'discipline' you can enforce with the typesystem automatically, if your language has a strong enough typesystem. Look up session types for more.