dip1000 and preview in combine to cause extra safety errors
Mathias LANG
pro.mathias.lang at gmail.com
Thu Jun 9 00:04:07 UTC 2022
On Wednesday, 8 June 2022 at 23:35:03 UTC, Walter Bright wrote:
> On 6/8/2022 12:59 PM, Mathias LANG wrote:
>> I have argued with Walter for a long time that having `scope`
>> enforced only in `@safe` code was a grave mistake, and would
>> be extremely confusing. It would have avoided this situation.
>
> The idea is that @safe should be the default and so @system
> code would be rare and would stick out like a sore thumb.
>
> In @system code, maintaining the invariants of the function
> parameters is entirely up to the programmer.
`@safe` by default is only viable if `@safe` has minimum to no
friction.
This isn't the case *at all*. We have examples in the standard
library itself.
It's also departing from D's identity as a system programming
language which makes it trivial to interop with C / C++,
alienating a sizeable portion of our community in the process.
More information about the Digitalmars-d
mailing list