1
A
ответ
2
Enforcing безопасность гонки, не отказываясь от изменяемых объектов, было бы лучше формулировку этого.
Проблема проста. Представим себе, что у вас есть изменяемая карта M, а также актеры A1 и A2. Актер A1 отправляет сообщение актеру A2, содержащему M. Вопрос в том, имеете ли вы какие-либо риски?
Идея бумаги, если я правильно ее понял, заключается в улучшении системы типов, чтобы вы могли гарантировать, что A1 не будет повторно использовать M после ее отправки в A2. Вы используете изменяемую структуру данных, но через систему типов вы обеспечиваете доступ к ней только в одной точке кода за раз.