https://www.youtube.com/watch?v=7erJ1DV_Tlo
Обратите внимание на то, что если у нас есть два актора — a0 и a1, и a0 посылает a1 сперва m0, а потом — m1, то модель акторов не гарантирует, что они придут в том же порядке. В то же время, некоторые реализации могут это гарантировать. Например, Erlang:
If there is a live process and you send it message A and then message B, it's guaranteed that if message B arrived, message A arrived before it.
Мне интересно, как часто на эту гарантию опираются? Или, если перефразировать вопрос, какой erlang-код продолжит работать, а какой — поломается, если эту гарантию убрать?
PS. Отсылки к открытым проектам очень приветствуются.
actor model, erlang, ооп