From: David Abrahams (david.abrahams_at_[hidden])
Date: 2001-11-26 16:34:10
----- Original Message -----
From: "Andrei Alexandrescu" <andrewalex_at_[hidden]>
> From: "Peter Dimov" <pdimov_at_[hidden]>
> > Not necessarily. You can pass type2type<Typelist> around, which is the
> > preferable idiom since it works with any type, references, noncopyables,
> and
> > whatnot.
>
> Again, why do it the more complicated way if you can do it the simple way?
I
> don't see any problem at all with letting typelists be instantiable, so
why
> bother?
Because it allows us to avoid code duplication. I expect that the
implementations and algorithms for tuples and type lists will look
frighteningly similar if we don't do this...