DIP 1021--Argument Ownership and Function Calls--Community Review Round 1

[jmh530]

On Wednesday, 11 September 2019 at 09:37:38 UTC, Mike Franklin 
wrote:
> [snip]
>
> I recently discovered a programming language called "Pony" 
> (https://www.ponylang.io/) and I believe it has an interesting 
> take on the pointer aliasing problem that is quite different 
> than Rust and is more akin to how D addresses such problems 
> (e.g. through attribution).
>
> Pony uses what they call "Reference Capabilities" to tell the 
> compiler how references can or cannot be aliased, and I think 
> it is relevant to the same problem that this DIP and other 
> efforts within D are trying to solve.
>
> You can find more information here:
> https://tutorial.ponylang.io/reference-capabilities
> https://zartstrom.github.io/pony/2016/08/28/reference-capabilities-in-pony.html
> https://www.youtube.com/watch?v=HGDSnOZaU7Y&t=1869s
>
> I hope you find it interesting if not influential.
>
> Mike

I was under the impression that some early Rust work was similar 
to Pony before they switched things up.

I think the reference capability that is most relevant to D is 
the iso one. That lines up with Oliver Faure's scheme to add a 
unique qualifier [1] I think.

https://forum.dlang.org/post/fgrxchwtltrvgpnfmagt@forum.dlang.org