Actor model with preemption solves the entire thing like it was never a problem. Three axioms, one mechanism, puff, gone. But for some strange reason, bona fid

Actor model with preemption solves the entire thing like it was never a problem. Three axioms, one mechanism, puff, gone. But for some strange reason, bona fide preemptive actors exist only in Erlang and derived languages (Elixir, Gleam, etc). All other actor model implementations are cooperative in some regard, which requires some thinking on blocking/nonblocking code in actors etc. Only Erlang abstracts it all away.