[First Draft] Add @gc as a Function Attribute

Quirin Schroll qs.il.paperinik at gmail.com
Wed Jun 19 10:02:46 UTC 2024


On Monday, 17 June 2024 at 22:01:18 UTC, Mathias Lang wrote:
> On Friday, 14 June 2024 at 16:20:02 UTC, Quirin Schroll wrote:
>> Permalink: 
>> https://github.com/Bolpat/DIPs/blob/8a26c2545b0a6926d799e9d8dc8c3662e58d516b/DIPs/DIP-4NNN-QFS.md
>>
>> ---
>>
>> **Abstract:** Add `@gc` as a new function attribute that acts 
>> as the inverse of the `@nogc` attribute.
>
> The rationale is very weak. If the only use case is to support 
> bad usage of `@attribute:` or `@attribute {}`, there is no 
> benefit at all to this.

It’s exactly as strong or weak as adding `throw` as the inverse 
of `nothrow` was.

The only argument that is different between DIP 1029 and this is 
that `throw` was already a keyword whereas `@gc` would have to be 
added.

Compare that to the (hypothetical) suggestion of adding `impure` 
as a keyword to have an inverse of `pure`.


More information about the dip.development mailing list