DIP 1021--Argument Ownership and Function Calls--Formal Assessment

[Walter Bright]

On 10/28/2019 2:38 PM, Ben Jones wrote:
> Just for context, here's a paper arguing restrict without tooling is a bad idea: 
> http://people.cs.pitt.edu/~mock/papers/clei2004.pdf .  Having the compiler 
> enforce it changes the game substantially, I think.

I've always known it was a bad idea (not just me, it was common knowledge). 
People have a hard time understanding restrict, and are guaranteed to use it 
wrong. Let alone errors using it from people who do understand it.

Compiler enforcement is the only way to make it go.