Universal Function Attribute Inference

[Paul Backus]

On Thursday, 23 May 2024 at 01:14:59 UTC, zopsicle wrote:
> One of my favorite features of D is its compilation model and 
> in particular the ability to import from source files directly. 
> This simplifies fast incremental parallel builds by not 
> requiring a separate step to extract the interface of a module, 
> or worse, requiring that modules are compiled in topological 
> order.
>
> C++20, Fortran, and Haskell modules and Rust crates work the 
> other way; they require interface files to be generated for 
> their compilation units before they can be imported. 
> Consequently they do not integrate well with traditional build 
> systems.

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.