equivariant functions

[Benji Smith]

Andrei Alexandrescu wrote:
> What do you think? I'm almost afraid to post this.

I vote "no" on the whole feature.

As far is I can tell, it doesn't add any new capabilities to the 
language, except for working around difficult corner cases in the cost 
system, and I think it's a mistake to add features whose sole purpose is 
to workaround the deficiencies in other features.

If the const system has holes in it, I vote for patching those holes by 
redesigning the const system, not by adding a workaround.

Or maybe I'm mistaken. Are there any compelling examples which don't 
revolve around constancy?

--benji