On Thu, Jul 16, 2009 at 5:03 PM, Walter Bright<newshou...@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))
