4 ms·

Pony prevents you from writing that code. All communication between actors is by message passing, and there are no global variables. Check out reference capabil

Pony prevents you from writing that code. All communication between actors is by message passing, and there are no global variables. Check out reference capabilities.

ggchappell 11y ago
Wow, so maybe the no-deadlock guarantee really does say something nontrivial. Thanks for the heads up.
m0th87 11y ago
You can deadlock in purely message passing code, even if there are no blocking sends. See an example in Erlang: http://james-iry.blogspot.com/2009/04/erlang-style-actors-are-all-about_16.html http://james-iry.blogspot.com/2009/04/erlang-style-actors-ar...
- 0cachecoherency 11y ago
  That anti-pattern isn't possible in Pony, because Pony has no blocking receive call.
  - dozzie 11y ago
    Of course, and Pony prevents programmer from writing code that waits for anything else. Sure. We're supposed to believe this?