u/oscarryzin r/ProgrammingLanguages • Recommends
John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language
0:00 / 0:00
#pony#reference-capabilities#actors
John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language
Curry On!
6.3K subscribers • 19 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- A classic. People kept recommending it from 2019 to 2023.
- Presented by John Mumm
Advanced. Deep dive for people who know the field.
3.8K views7 years ago2 recommendations
Programming languagesSystems programmingConcurrency and parallelismMemory management
John Mumm explains how the Pony programming language uses reference capabilities to safely share data without data races.
The uploader added no description.Why it's here
2 people recommend thisWhat people say. Recommended as an excellent explanation of reference capabilities and safe concurrency in Pony.
SeanTAllenon Lobsters • Recommends
Safely Sharing Data - Reference Capabilities in the Pony Programming Language
u/OrLiansin r/ProgrammingLanguages • Mentions
On “How to deal with const/atomic/etc”
I think you're mixing up a whole bunch of loosely related concepts so let's make a few distinctions first.
`_Atomic` is more or less a hack to get around C's shoddy "type system" (if you could even call it that). You see, not all platforms support atomic instructions so a particular type might require locks to be inserted. C++, on the other hand, doesn't need that qualifier because its type system is sufficiently powerful to express an `atomic<T>` type. The C++20 version of the standard provides a set of atomic instructions that accept plain fundamental types - again, no `_Atomic` required.
One the other hand, `volatile` is necessary because the semantics behind your traditional type syste…
u/oscarryzin r/ProgrammingLanguages • Mentions
On “Lifetimes system”
Pony.
I don't think it covers all the items you mention (maybe it does and I just don't know).
I would make a disservice trying to explain but this video has a great introduction:
link to this video
And the point tutorial has a lot of information
https://tutorial.ponylang.io/index.html
u/oscarryzin r/ProgrammingLanguages • Mentions
On “Help me decide”
Reference capabilities ( [video )
u/oscarryzin r/ProgrammingLanguages • Mentions
On “What are some good thread-safety models?”
This video is excellent to to understand the reference capabilities and the actor model Pony uses
link to this video