Re: C++0x : no 'concepts'

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

Dmitry A. Kazakov schrieb:

>> Fantasizing, could we have, in Ada,
>>
>> - recursive instantiations of pure generics?
> 
> Huh, the second edition of interfaces, now for the "Ada preprocessor"? I
> read you that all instances of the same body when instantiated
> automatically will be considered "same". Right?

No, I was thinking of this:


generic
   N : Natural := (if N = 0
                     then 1
                     else new Factorial'(N * Factorial(N - 1)));
function Factorial return Positive;

pragma Pure(Factorial);



(Very much ad hoc.)