From: shunsuke (pstade.mb_at_[hidden])
Date: 2008-03-31 21:03:37
Giovanni Piero Deretta wrote:
> This is in fact the reason for my compose<> template idea: If you
> can't avoid writing a type expression, you might as well just write
> that.
BTW, Boost.Egg has the potential to implement your compose.
typedef result_of_lazy<fold>::type fold_;
typedef result_of_lazy<reverse>::type reverse_;
typedef return_of<fold_(reverse_(T_bll_1), T_bll_2, T_bll_3)>::type reverse_fold;
A showstopper is that it is difficult to offer static-initialization way.
Regards,
-- Shunsuke Sogame