DIP1000: Walter's proposal to resolve ambiguity of ref-return-scope parameters

[rikki cattermole]

On 26/11/2021 9:45 AM, Stanislav Blinov wrote:
> https://dlang.org/spec/function.html#parameters needs to get 
> __simpler__, not turn into a PhD thesis, which it is already well on the 
> way to.

Provability is the future of programming language design.

However D should have had it from day one, since Walter did look at ML 
when designing D. Where a lot of this stuff originates from.

Now as far as D's attributes for proofing are concerned, unfortunately 
they have to stay in some form. Although I would much rather see new 
keywords which include two underscores in the front than reusing return ext.

They are required for extern's and function pointers where inference 
cannot happen (which needs to be the default because right now, it is 
far too cluttered to do right and adds far too much for a lot of people 
to think about).