D Language Foundation May 2024 Monthly Meeting Summary

[Paul Backus]

On Wednesday, 28 August 2024 at 12:55:35 UTC, Mike Shah wrote:
> I do like @live, curious others thoughts? Perhaps it doesn't 
> need to be an attribute though and is instead a compiler flag 
> for an analysis pass on any function (kind of reminds me of 
> frameworks like Soot for Java that you control various analysis 
> passes). Perhaps a conversation for another thread 🙂

The fact that @live is incompatible with existing @safe D code 
makes it dead on arrival.

There are ways to include this kind of analysis without breaking 
compatibility, but as you say, it has to be a global thing (like 
DIP 1000), not an attribute that's applied function-by-function.