Justwerk compiler flag
Kapendev
alexandroskapretsos at gmail.com
Sat Jul 19 23:48:22 UTC 2025
On Friday, 18 July 2025 at 16:43:19 UTC, Ogi wrote:
> On Thursday, 17 July 2025 at 18:05:08 UTC, Dukc wrote:
>> In the case of `@safe` and `private`, can't you simply not use
>> them when they get in the way? Mark your function `@system`,
>> and bye bye safety checks.
>
> Imagine you want to use a library that have this function:
>
> ```D
> void coolFunction(void function() @nogc nothrow @safe pure
> callback) @nogc nothrow @safe pure
> ```
>
> Now you are forced to satisfy all these attributes, even if you
> don’t care.
Yeah, that's annoying, but it depends on the library. Some stuff
might benefit from this constraint. And worse case, you just cast
and then you are done. Anyway, both `private` and attributes are
useful. To be honest, I only like `@safe` `@trusted` `@system`,
but eh. I will be a good person and support `pure` too.
Back to the original DIP idea. You can just don't use stuff if
you don't like em!!
More information about the dip.ideas
mailing list