Editions Ideas

[Derek Fawcus]

On Saturday, 13 December 2025 at 04:18:08 UTC, Jonathan M Davis 
wrote:
> Now, he wants to look into using full program analysis to infer 
> them instead of having an explicit scope attributes be used for 
> it.

Quite apart from precluding separate compilation, the other issue 
would be where one wishes to ensure a given behaviour occurs.

The difference between requiring annotation, vs having them as 
optional in order to ensure a given output.  i.e. having them as 
optional things so force a given effect, as opposed to inferring 
the intent from potentially buggy code.

Essentially, code could have an error, and a behaviour inferred 
due to the inability to express / enforce a specific behaviour.

That has always been one of my issues with C++, too much can be 
inferred from how baroque it is.

DF