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

[Martin <martin.dowie@btopenworld.com>]

On Sep 9, 1:12 pm, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
wrote:
> Martin schrieb:
>
> > Crickey! How glad am Ada has strong typing and a generic contract
> > model!!
>
> >http://www.ddj.com/cpp/218600111
>
> > And that was going to make life 'simpler'!?!?!?
>
> Just saw this, addressing the question:
>
> "The current definition of concepts and requirements for use drowns the
> programmer in complexities of a magnitude not warranted by the need to
> express type-checked 9constrained) generic programming."
>
> From: Simplifying the use of concepts, linked in the article.
>
> -
>
> Fantasizing, could we have, in Ada,
>
> - recursive instantiations of pure generics?
> - an optional Compiler package?

Similarly, there was a paper on 'implicit instantiations' - I can
think of times when that might have been v.handy...

Cheers
-- Martin