4 ms·
It seems like your major grief is at serious odds with the design principles of the language itself. It's very difficult to introduce any kind of synchronous b
by ivanbakel 6y ago
It seems like your major grief is at serious odds with the design principles of the language itself.
It's very difficult to introduce any kind of synchronous behaviour that doesn't also allow deadlocks. "Locking" an actor to prevent it from processing messages would very trivially allow for deadlocks - and since Pony intends to avoid them by design, the language can't ever allow for it.
Why are promises not fit for your purpose?
- spooneybarger 6y agoVerona 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...