"Arkadiy Vertleyb" <vertleyb@hotmail.com> wrote
"Andy Little" <andy@servocomm.freeserve.co.uk> 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