Re: [boost] Report from Mont Tremblant C++ Committee meeting

From: Joel de Guzman (joel_at_[hidden])
Date: 2005-10-11 20:20:18

Fernando Cacciola wrote:
> Hi Joel,
> 
> I don't know what 'eps' is for so I can't follow the equivalence between 
> "!a" and "a|eps"

eps is an epsilon match: matches the null string.

> Nevertheless, I can see that if optional<A> MUST be equivalent to 
> variant<A,nil>; _and_ variant<T&,nil> doesn't rebind, then neither should 
> optional<T&>.
> But to complete the argument we would need to show that
> (1) optional<A> MUST be equivalent to variant<A,nil>
> 
> Only if (1) holds.
> Can you show with a solid argument that (1) _shall_ hold?

I thought I just did! Oh my... I'm getting tired with this.
I'll just refrain from using optional and just use variant
everywhere. The variant interface is more reasonable.

Regards,
-- 
Joel de Guzman
http://www.boost-consulting.com
http://spirit.sf.net