News for hackers. Stuff that matters.
Re:Pony is an open-source, actor-model, high performance pro... by 0cachecoherency on Thursday January 14, 2016 @02:43PM (#10903876)
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.
Re:Pony is an open-source, actor-model, high performance pro... by m0th87 on Thursday January 14, 2016 @03:26PM (#10904186)
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-ar...
Re:Pony is an open-source, actor-model, high performance pro... by 0cachecoherency on Friday January 15, 2016 @04:22AM (#10908135)
That anti-pattern isn't possible in Pony, because Pony has no blocking receive call.
Re:Pony is an open-source, actor-model, high performance pro... by dozzie on Friday January 15, 2016 @06:07AM (#10908493)
Of course, and Pony prevents programmer from writing code that waits for anything else. Sure. We're supposed to believe this?
Re:Pony is an open-source, actor-model, high performance pro... by ggchappell on Thursday January 14, 2016 @02:49PM (#10903915)
Wow, so maybe the no-deadlock guarantee really does say something nontrivial. Thanks for the heads up.