Greenwashing

[Bruce Carneal]

On Friday, 29 May 2020 at 06:26:29 UTC, Johannes Pfau wrote:
> Am Thu, 28 May 2020 16:39:21 +0000 schrieb Adam D. Ruppe:
>
>> On Thursday, 28 May 2020 at 15:12:56 UTC, Steven Schveighoffer 
>> wrote:
>>> 2. If we went to an "inferred-by-default" regime, there would 
>>> have to be a way to opt-out of it, to allow for crafting 
>>> attributes of public extern functions.
>> 
>> You'd just have to write them out there.
>
> I haven't though about it a lot, but I think I'd prefer to have 
> stable library ABIs by default. So at least all export-ed, 
> non-templated functions should not have inference.
>
> Otherwise we'd have to add a best-practice 'fully annotate all 
> exported function to avoid ABI breakage' rule, which then again 
> is some sort of programming by convention...

Unless it's believed that the separate compilation capability is 
both essential and plausibly intractable, experimenting with the 
"I have all the source code" subset first seems like a good idea. 
  For one, I'm pretty sure that we can find a way to 
store/retrieve compiler inferences.