[dmd-concurrency] draft 7

Michel Fortin michel.fortin at michelf.com
Mon Feb 1 14:35:40 PST 2010


Le 2010-02-01 à 17:21, Andrei Alexandrescu a écrit :

> Michel Fortin wrote:
>> Le 2010-02-01 à 16:10, Andrei Alexandrescu a écrit :
>>> * most functions do take scope parameters, so probably @escaping should be the explicit attribute
>> Perhaps, but I'm not sure about that. 'scope', being a restriction, is limited to the function where you put it.
> 
> That's exactly the problem if the assumption that scoped parameters are 90% of them. It would cause a lot of code to gratuitously not work and a lot of annotations to be added.

To be more precise it'd cause a lot of code to not work when called from a synchronized function. Weren't we saying synchronized objects would be a rare thing?


-- 
Michel Fortin
michel.fortin at michelf.com
http://michelf.com/





More information about the dmd-concurrency mailing list