Comment by lukeasrodgers

12 hours ago

I don’t have much experience with pony but it seems like it addresses the core concerns in this article by design https://www.ponylang.io/discover/why-pony/. I wish it were more popular.

5 comments

lukeasrodgers

Reply
jen20  11 hours ago

I don’t know enough about pony to know for sure, but nothing on that page sums to suggest that deadlocks of the form the article discusses are resolved?

  • gf000  8 hours ago

    I don't think there is a generic computational model that would prevent deadlocks, so no, pony also doesn't solve it.

    • brabel  5 hours ago

      In Pony, handling messages is done via behaviors, which look like a normal method - the only difference is that it cannot return anything and that it runs asynchronously. Hence, the example in the post cannot occur since you cannot really wait for something in Pony. You'd have to explicitly call some other behavior of the other actor to be able to "respond" its first message, which breaks the circularity.

      2 replies →