I want a Pony!

on YouTube ↗52m

" summary

Pony claims a statically checked type system that guarantees no data races, deadlocks, nulls or unhandled exceptions if the program compiles, using six reference capabilities (ref, val, box, iso, trn, tag) to control aliasing and ownership. It compiles to LLVM, uses an actor model with zero-copy message passing and a per-actor concurrent GC, and enforces moves/consumes and recover blocks to transfer ownership. A simple chat client demo exists; language is young (v0.9) but the features demonstrably run.

AI-written summary · about

" chapters (17)

1. 0:00Introduction to Pony
2. 1:04What is concurrency
3. 3:19Concurrency issues explained
4. 5:05Solutions to concurrency problems
5. 10:21Introducing Pony language
6. 12:09Pony language features
7. 15:03Why static typing matters
8. 16:28Pony's actor model
9. 18:23Capabilities in Pony
10. 21:26Reference capabilities deep dive
11. 25:44Consuming objects in Pony
12. 27:37Destructive read and recovery
13. 29:25Aliasing and type safety
14. 31:40Subtyping in Pony
15. 33:27Summary of Pony's benefits
16. 34:10Resources and next steps
17. 35:13Q&A session