type traits, reflection, and whatnot

[Benjamin Kosnik]

>Robert Klarer, Judy Ward and I evaluated the proposal 
>
>  http://anubis.dkuug.dk/JTC1/SC22/WG21/docs/papers/2002/n1381.htm
>
>and we discussed several alternatives and recommanded rejecting some
>aspects. The day that followed, I implemented a version of the
>conclusions we arrived at, I had a chance to sit next to Benjamin the
>day that followed, I showed him what that may looks like in practice.
>(the implementation was straightforward but if we were going to have a
>bunch of static_assert-like operator we rather follow a scalable
>design). 

Gaby's re-write dramatically simplified some of this code. 

>I would also like to mention a work-in-progress in the Evolution Working
>Group concerning "typedef template" and "template aliasing".

What ever happened to this? I remember the LLNL guys had some
interesting ideas for using typedef templates in actual code. Is there
anyway that one, or both, of the typedef template suggestions could get
implemented in g++ so that some experimentation could occur before this
stuff gets cast into stone in the form of a standard?

-benjamin