Verona has been exploring the idea of "behavior-oriented programming" as compared to "actor-oriented" like we have in Pony. Verona's model allows for something

Verona has been exploring the idea of "behavior-oriented programming" as compared to "actor-oriented" like we have in Pony. Verona's model allows for something along the lines of what is being suggested. How that works out in the long run, we'll see. It's still very early days for Verona. A number of folks working on Pony also are associated with Verona and vice-versa so there's a cross-polination of ideas going on. https://github.com/microsoft/verona https://github.com/microsoft/verona In particular see: https://github.com/microsoft/verona/blob/master/docs/explore.md#concurrent-mutation-and-memory-safety https://github.com/microsoft/verona/blob/master/docs/explore... and https://github.com/microsoft/verona/blob/master/docs/explore.md#concurrent-ownership https://github.com/microsoft/verona/blob/master/docs/explore...