Generic code: @autoconst, @autopure, @autonothrow

[Robert Jacques]

On Sun, 29 Aug 2010 00:42:49 -0400, Rainer Deyke <rainerd at eldwood.com>  
wrote:

> On 8/28/2010 22:33, dsimcha wrote:
>>> Is there any real reason why we can't apply these modifiers
>>> automatically to all functions?  (And by "real" I don't mean "it would
>>> be hard to do" or "it is incompatible with the archaic compilation  
>>> model
>>> chosen by one D implementation".)
>>
>> Two reasons:
>>
>> 1.  Unless the function is a template, the compiler isn't guaranteed to  
>> have the
>> source available.  What if it's a binary-only library?
>
> "It is incompatible with the archaic compilation model chosen by one D
> implementation."
>
> This special treatment of templates has got to end.

So... dynamic libraries (DLL's, etc.) are an archaic compilation model?  
Might you be able to suggest an newer alternative? (that doesn't involve a  
JIT, of course)