On 11/1/2010 12:59 PM, Manjunath Kudlur wrote:

...

2) To provide a map-like container in which I can store things like boost::any objects. OK, maybe this is not for Proto to address but though it might still have something to offer...

Have you checked out Boost.Fusion map or vector for this purpose?

Second this. You do *not* want to use boost::any for this as you will lose all type safety and optimization opportunities. Here's the basic strategy: Define tags like this: template<typename T> struct arg_ { typedef T type; }; template<typename T> struct arg : proto::terminal {}; struct x_ {}; struct y_ {}; arg::type const x = {{}}; arg::type const y = {{}}; Now you have placeholders named x and y to play with. Now this: lam(x, y) should return some object that: 1) Has a member typedef for mpl::vector 2) Has an operator() member that accepts a Proto expression The operator() in (2) above should return an object that: 1) Holds the Proto expression (by reference) 2) Has the mpl::vector of tags as a member typedef 3) Has an operator() member that accepts arguments for the lambda The operator() in (3) above should have the same arity as the mpl::vector of tags. It should take the arguments and put them in a fusion::vector. Then it takes the mpl::vector of tags and the fusion::vector of arguments and turn it into a fusion::map. This map will be used as the state parameter when evaluating the Proto expression (along with the map) with the following Proto algorithm: struct at_key : proto::callable { template<typename Sig> struct result; template struct result : fusion::result_of::at_key< typename boost::remove_reference<Map>::type , typename boost::remove_const< typename boost::remove_reference<Key>::type >::type > {}; template typename fusion::result_of::at_key::type operator()(Map & map, Key const &) const { return fusion::at_key<Key>(map); } }; struct LambdaEval : proto::or_< proto::when< proto::terminal > , at_key(proto::_state, mpl::derefproto::_value()) > , proto::_default<LambdaEval> > {}; Have fun! -- Eric Niebler BoostPro Computing http://www.boostpro.com

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/3/2010 11:59 AM, Hossein Haeri wrote:

Hi Manjunath,

...

...

2) To provide a map-like container in which I can store things like boost::any objects. OK, maybe this is not for Proto to address but though it might still have something to offer...

Have you checked out Boost.Fusion map or vector for this purpose?

Not really. So, is there any reason what you would recommend that?

Did you see my elaboration on this idea? http://lists.boost.org/boost-users/2010/11/63833.php - -- Eric Niebler BoostPro Computing http://www.boostpro.com -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJM0ZCVAAoJEAeJsEDfjLbXSeUIAItrR/TUFdSTq4ZOIHztDTkJ 53H9n7jlQ9KYjBRwXat1EMXdKjdlK3ZTsCLtPiVUXiLrYZzNh+xGfAdoohWMUXUc O2p2OQBBtnvszJMP42j/QW58jsKI68ti9heUJyfLES8ddnp0ocWBdoZYLKrMTJCu QGNfBZJU7ylXK4i5/8AdFTpAN3nvnFPeCbS0BYdD7EqFsB+k63xRMNj+TwmAMM0N cXRlpKYkKLilkbfeTWQ+gOqzr4liFnPxTwCkEJSo+67vYSPUjFh0babdfo6fzgwK KsPeLV0e0YEPiMOTOI8Rq7ECpGvhqhM/H5JkK/6/IMrh+n2/UwneZ21HX//7mXc= =SjCa -----END PGP SIGNATURE-----