On 4/5/2012 11:32 AM, Timon Gehr wrote:
Ideally it would be powerful enough to allow changing the type, but most applications probably want the type to stay the same.
Having it perturb the type implies a huge swamp of how that affects the semantics. You've got overloading, name mangling, type inference, implicit conversions, covariance, etc.
All I can say is I see no way that can work with user defined semantics.