Why D const is annoying

bearophile bearophileHUGS at lycos.com
Wed May 2 10:21:46 PDT 2012


H. S. Teoh:

> One area where I'd like const to be improved, though, is a way 
> to indicate that const-ness depends on the arguments, 
> specifically, on the behaviour of a delegate argument.

There was a long discussion about this, with proposals like 
@pure(compile_time_predicate) to define a conditional purity. But 
Walter decided for a simpler solutions, where the purity and 
"non-throwness" of templates is inferred.

Bye,
bearophile


More information about the Digitalmars-d mailing list