Universal Function Attribute Inference

[Dukc]

Paul Backus kirjoitti 24.5.2024 klo 18.04:
> 
> I should emphasize that the ability to import directly from .d files is 
> not going anywhere, even if this proposal is accepted. The .di files 
> would function purely as a cache to improve performance, and generating 
> them would never be required.

True. Still, I feel it's important we retain an easy way to *not* infer 
the attributes, even when available. For performance reasons like Walter 
wrote, but also to make sure the client code will not depend on 
attributes the library wishes to possibly remove in the future.

I'm pretty neutral on whether inferring everything by default is a good 
choice, but I'm saying that regardless of whether it is the non-default 
option should be easy to pick. Only one keyword per symbol, or several 
for a group of them.