[boost] Re: Re: typeof: lvalue preserving

From: Andy Little (andy_at_[hidden])
Date: 2004-07-23 09:36:03

"Arkadiy Vertleyb" <vertleyb_at_[hidden]> wrote
> "Andy Little" <andy_at_[hidden]> wrote
>
> > ...I think spirit and lambda already have their own type
> > deduction schemes, making it easy to implement there.
>
> I am unaware of such schemes.

I dont know about spirit but lambda has:
template<>
struct plain_return_type_2<
 boost::lambda::arithmetic_action<
            boost::lambda::plus_action
        >
> {
    typedef ... type;
};

etc
which  is IMO a type deduction scheme.
I guess Spirit has one because Joel de Guzman has type_deduction.hpp in the
boost sandbox.
UBLAS probably has or soon will have one.
result_of is another.
And I decided to do my own because you can never have too much of a good
thing IMO.

>
> What exactly is lacking?

Nothing... Its perfect  :-)

regards
Andy Little