Attribute transference from callbacks?

[Richard (Rikki) Andrew Cattermole]

On 09/12/2024 8:00 PM, Araq wrote:
> On Monday, 9 December 2024 at 06:47:26 UTC, Manu wrote:
>>
>> Right. Do you have examples of this from other languages and how it's 
>> expressed? Lifetime's in Rust are the obvious benchmark, but I don't 
>> see any evidence that D has a taste for this sort of thing.
> 
> 
> Nim uses an `effectsOf` annotation, see https://nim-lang.org/docs/ 
> manual.html#effect-system-effectsof-annotation
> 
> That said, IME effect systems are not worth it and the complexity budget 
> is better spent elsewhere.

I've been thinking of an effect system for D, specifically for 
improvements to shared.

However, I'm not seeing the benefits for this.

For @safe @nogc these are boolean, whereas nothrow is a set, pure is an 
effect. Then there is type qualifiers const, immutable and shared.

Its not one problem, its more like three that we'd like to solve here.