zlacker

[return to "Actors: A Model of Concurrent Computation [pdf] (1985)"]
1. michae+7b[view] [source] 2026-02-02 02:54:32
>>kioku+(OP)
May be of interest: Pony Language is designed from the ground up to support the Actor model.

https://www.ponylang.io/

◧◩
2. throwa+OP3[view] [source] 2026-02-03 03:08:38
>>michae+7b
Is Pony still an actively developed language? I remember watching several talks while they brought the language up to release, and read several of the accompanying papers. However, I thought with the primary corporate sponsor dropping the language it had gone basically EOL. Which was a pretty large bummer as I was very interested to see how the reference capability model of permissions and control worked at large scale for concurrency control and management (as well as its potential application to other domains).
◧◩◪
3. dismal+U14[view] [source] 2026-02-03 04:54:50
>>throwa+OP3
It is still developed, although it feels a bit like it was mostly "done" 10 years ago.

https://github.com/ponylang/ponyc

Quite a few recent commits and their blog/X account mentioned their LSP now being bundled with the language...

https://www.ponylang.io/blog/2026/02/last-week-in-pony---feb...

Dunno, now it feels like the "hot" thing is either manual memory languages like Zig, Odin an Rust or languages with novel type systems like Lean, Koka, Idris, etc... GC'd "systems" languages like Nim, Crystal, Pony, Go, etc... all seem kind of old fashioned now.

[go to top]