Owned members

Robert Jacques sandford at jhu.edu
Sat Dec 25 13:46:17 PST 2010


On Sat, 25 Dec 2010 16:38:19 -0700, Alex Khmara <alex.khmara at gmail.com>  
wrote:

>> Well, think about pure. A pure function can call other pure functions,  
>> because those functions declare that they obey the rules of pure (i.e.  
>> no globals, etc). Scope variables can be passed to functions taking  
>> scoped parameters because those functions declare that they'll obey the  
>> rules of scope (i.e. they won't squirrel away references to it, etc).
>
> And so we have another complication in language - another transitive  
> type modifier.

Well, it's only a proposal at this point. And things regarding  
scope/ownership have been fairly explicitly delayed to D3.


More information about the Digitalmars-d mailing list