C++0x Concepts - Dead?

[Jarrett Billingsley]

On Thu, Jul 16, 2009 at 5:03 PM, Walter
Bright<newshound1 at digitalmars.com> wrote:
> Jarrett Billingsley wrote:
>>
>> Let's try to *simplify* metaprogramming and make things *orthogonal*
>> instead of tacking on features with no regard to the existing ones.
>
> Type matching cannot do what expression matching can do. You'd need a
> totally new syntax anyway to bring expression matching into the template
> type parameter list.
>

Wow, can you say "taken out of context?"  I proposed the *exact*
opposite.  Note:

template X(T: A, U: B)
would basically be syntactic sugar for
template X(T) if(is(T: A) && is(U: B))