From: Joaquin M Lopez Munoz (joaquin_at_[hidden])
Date: 2005-05-18 01:09:21
Larry Evans <cppljevans <at> cox-internet.com> writes:
> On 05/17/2005 10:07 PM, Jaakko JÃ¤rvi wrote:
> > make_variant_over<Seq>::type
> > creates a variant type from an MPL Sequence.
> > Is there an operation that would do the opposite, create an MPL sequence
> > from a variant?
> > I cannot just use the type parameter list as such because the types that
> > stand for an empty
> > type are different in both libraries: boost::detail::variant::void_ in
> > variant, and something
> > else in MPL.
> I'd suggest making variant part of mpl. With that, the problem
> disappears. Also, variant and tuple are duals of each other, in
> category theory terms; hence, it would make sense if the implementations
> reflected this duality. The code at:
> is an intial attempt at exploiting this duality.
Aren't you referrring to
JoaquÃn M LÃ³pez MuÃ±oz
TelefÃ³nica, InvestigaciÃ³n y Desarrollo
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk