This was heaps of fun, great reminder that I still haven't really tried modern Pony! FWIW, a reference capability is a capability (that is, an unforgeable actor address) with the bonus substructural typing rules. There are some great languages and systems that offer capabilities as an explicit feature. Spritely is a big player here you may enjoy, but there is also Securer EcmaScript, the descendants of the E programming language such as MontE, and actor-first languages like HUMMUS, Wyvern, and Misty. The concept itself dates to the 1960s, with the term being cemented in 1966 with Dennis and Van Horn's Supervisor.
It is probably obvious, but I think a good way to promote a "hobbyist" language like this is to get someone to implement bindings for very popular C libraries, I'm thinking raylib, SDL, box2d in the game dev side, or bindings for message queuing system libraries, e.g. librabbitmq, libzmq, ActiveMQ, etc. I had a quick scan through the documentation and it seems to be a fun language to learn having recently looked at Zig and Odin.
@@CaptainPanick I've been playing around with raylib in Pony, though some of the functionality doesn't work out-of-the-box because of the FFI restrictions.
Thank you very much for the very informative discussion about a great language. I really hope that somebody would make a killer app in Pony and it will attract more attention
One of the things I like about Pony is that it is focused. It does one thing (actors) very well and doesn’t try to be a “multiparadigm” kitchen sink of a language. Stop endlessly searching for the ultimate general purpose language and, instead, decide what tools you want in your toolkit. My toolkit is currently Pony, Julia, and Prolog.
Great talk! I've been learning Elixir/BEAMVM and C++ lately to gain both their powers, and in the process came up with my own polyglot actor framework/stack using: PM2 and/or Docker/Swarm for orchestration, with Caddy and NATS for comms. those 3 or 4 components support a simple polyglot actor & microservices model. ...Apache Thrift looks like a nice IDL (interesting RPC too) but I'd need to implement code gen, and any IDL will do.
Where can I read a good summary of actor model programming and how it solves issues in distributed systems like discovery, leader election, transactions etc?
love yours vid sir kris.. if possible in the future, can u interview the creator nor one of theirs main contributor of C3 Lang (C like) it would be nice :D
One of my favorite channels for tech . Chris voice is super chill can listen all day long.
Amazing channel. Thank you for doing these interviews. Sean Allen is a star!
This was heaps of fun, great reminder that I still haven't really tried modern Pony!
FWIW, a reference capability is a capability (that is, an unforgeable actor address) with the bonus substructural typing rules. There are some great languages and systems that offer capabilities as an explicit feature. Spritely is a big player here you may enjoy, but there is also Securer EcmaScript, the descendants of the E programming language such as MontE, and actor-first languages like HUMMUS, Wyvern, and Misty. The concept itself dates to the 1960s, with the term being cemented in 1966 with Dennis and Van Horn's Supervisor.
It is probably obvious, but I think a good way to promote a "hobbyist" language like this is to get someone to implement bindings for very popular C libraries, I'm thinking raylib, SDL, box2d in the game dev side, or bindings for message queuing system libraries, e.g. librabbitmq, libzmq, ActiveMQ, etc. I had a quick scan through the documentation and it seems to be a fun language to learn having recently looked at Zig and Odin.
@@CaptainPanick I've been playing around with raylib in Pony, though some of the functionality doesn't work out-of-the-box because of the FFI restrictions.
Thank you very much for the very informative discussion about a great language. I really hope that somebody would make a killer app in Pony and it will attract more attention
One of the things I like about Pony is that it is focused. It does one thing (actors) very well and doesn’t try to be a “multiparadigm” kitchen sink of a language. Stop endlessly searching for the ultimate general purpose language and, instead, decide what tools you want in your toolkit. My toolkit is currently Pony, Julia, and Prolog.
Shout out to the one snoop at GCHQ who likes to hack around with experimental languages.
IKR? 😁
Great talk! I've been learning Elixir/BEAMVM and C++ lately to gain both their powers, and in the process came up with my own polyglot actor framework/stack using: PM2 and/or Docker/Swarm for orchestration, with Caddy and NATS for comms. those 3 or 4 components support a simple polyglot actor & microservices model.
...Apache Thrift looks like a nice IDL (interesting RPC too) but I'd need to implement code gen, and any IDL will do.
Yay, one of my favorite languages!
👍🏼
Where can I read a good summary of actor model programming and how it solves issues in distributed systems like discovery, leader election, transactions etc?
This one has been prophesized
What about an episode on some theorem prover like Lean?
Pony is awesome
love yours vid sir kris..
if possible in the future, can u interview the creator nor one of theirs main contributor of C3 Lang (C like) it would be nice :D
Thanks!
Yes, I'm currently trying to set that one up. 👍
Any white papers discussing a sample bank application use case using actors?
Andrew Kelley, and developer of helix editor, please.
+1 for more zig