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