[Zalastax]

As far as I know Pony doesn't yet have a distribution story so supervision might not be priority for the maintainers yet. However, since Pony is an "Active Objects"-language, every actor in Pony is essentially an instance of a genserver - this is what makes it easy to type. Supporting more advanced communication patterns in a strongly typed fashion is rather difficult so for the foreseeable future I believe that a gradual typing approach will be the way to go. Genserver is also very powerful so Pony can likely see good success if they just build in some supervision strategies and make it possible to distribute.

[spooneybarger]

This is true. There is no distributed Pony at this point. It was a high priority early on but when we looked at everything we thought we needed for a 1.0 release, it didn't make the list.

There is Sebastian's thesis which has an approach idea... https://www.ponylang.io/media/papers/a_string_of_ponies.pdf

And Sylvan and I spent a good amount of time discussing how to implement. Then a lot was learned while building Wallaroo over at Wallaroo Labs, we'd certainly lean on stuff from there as well.

If anyone is interesting in working on distributed Pony, we'd be happy to help support you. Come by the IRC or developer mailing list. Let's chat.

But, its not something that anyone is working on right now.