From: Jaakko Järvi (jarvi_at_[hidden])
Date: 2005-05-17 23:07:39
On May 17, 2005, at 10:22 PM, Larry Evans wrote:
> On 05/17/2005 10:07 PM, Jaakko Järvi wrote:
>> 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
Yes, variant, mpl, tuple (or fusion), should play well together.
A good first step would be to start using the same type to mark that
no type was specified (instead of the variations void_, null_t, ...).
> Also, variant and tuple are duals of each other, in
> category theory terms; hence, it would make sense if the
> reflected this duality. The code at:
> is an intial attempt at exploiting this duality.
Interesting, I must delay examining this until later, but for now,
please note that
current tuple code base will be replaced with Fusion, hopefully in 1.34.
-- Jaakko Järvi, jarvi_at_[hidden]
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk