Actor model would also be brilliantly wrong: it doesn't compose smaller correct systems into larger correct systems.

(Software) Transactional Memory and other ideas inspired by databases have a much better shot at this.

Is this why software transactional memory is so prevalent today and the actor model is barely used?

	▲	eru 15 hours ago \| parent [-]
		Locks are even more prevalent today. And so was leaded gasoline. (To be less snarky, locks are one way you can implement both actor model and Transactional Memory. But just like JMP instructions in your CPU, it's probably better to provide programmers with a higher level of abstraction.)