DIP1000: Scoped Pointers (Discussion)

Walter Bright via Digitalmars-d digitalmars-d at puremagic.com
Mon Aug 15 16:46:15 PDT 2016


On 8/15/2016 4:30 PM, H. S. Teoh via Digitalmars-d wrote:
> I'm looking forward to the day we have pervasive attribute inferrence
> throughout the language.  It's the only sane way to deal with
> attributes, because they inevitably grow unmanageably numerous. In an
> ideal world I'd say *all* attributes should be inferred (and only
> specified where the user wishes to ensure the attribute is actually
> inferred). But in our non-ideal world it would be interesting to see how
> far we can get.

I think we can pretty much get everywhere except for:

1. virtual functions
2. explicit API interfaces
3. separate compilation
4. function pointers
5. recursion

Adding an attribute then becomes a guarantee.

Note how successful this has been for templates.



More information about the Digitalmars-d mailing list