DIP 1021--Argument Ownership and Function Calls--Community Review Round 1
john.michael.hall at gmail.com
Wed Sep 11 13:52:10 UTC 2019
On Wednesday, 11 September 2019 at 09:37:38 UTC, Mike Franklin
> 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:
> I hope you find it interesting if not influential.
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  I think.
More information about the Digitalmars-d