Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
It's sad that ownership/borrowing is always explained in terms of application to memory management. One day, we'll talk about a static aliasing discipline the same way we talk about types today. Knowing who points to what is fundamental to good system design.
My brother has probably written more Rust code than anyone else in the world. He told me that ownership was the single biggest aspect of Rust that influenced how he designed systems. It helps you design for access control, state management, safe concurrency, and a lot more.
Ownership types were originally developed for exactly those reasons.
Take a look at my language, Obsidian!
Some of my earliest research was about aliasing control and static analysis thereof.
Ownership doesn't appear to be about "who points to what" but about "is anyone pointing to". Examples including that a tracing GC is the former while Pony's reference capability system is the latter + "how is anyone pointing to" if that makes sense.
Feel like ATS closer but still encoded in types. Don't really know who points to a thing just a proof that someone does or doesn't.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
