equivariant functions

[Denis Koroskin]

On Wed, 15 Oct 2008 01:18:40 +0400, Robert Fraser  
<fraserofthenight at gmail.com> wrote:

> Andrei Alexandrescu wrote:
>> Yah, that's where the PassQual template is needed. I'd agree without  
>> joy that, if handling true equivariance is too unwieldy, we can resign  
>> to solving only equivariance in qualifier.
>
> FWIW, people have done without type eqivariance w/o complaint since  
> static typing was invented. People have been complaining about const  
> equivariance since at least C++ and D makes it worse.

People didn't complain that they were nude until someone discovered it :)
I mean, human needs grow over time as they discover something useful.