From: Peter Dimov (pdimov_at_[hidden])
Date: 2001-12-13 17:00:21
From: "David Abrahams" <david.abrahams_at_[hidden]>
> You have to ask Aleksey for his rationale, but AFAIK template template
> parameters are much less flexible. For example, how do you write a
> compile-time bind2nd if metafunctions are templates?
Aha, the missing typedef template.
I wonder, did anyone see my (half-serious) comp.std.c++ proposal to turn
templates into:
template<A, B, C> class X;
(partly motivated by the similarity between type list algorithms and value
list algorithms.)
Nobody replied. ;-)
This combined with and template typedefs would match "metafunctions" in
power.
-- Peter Dimov Multi Media Ltd.