Re: [boost] Re: [ANN] type_switch with pattern matching in sandbox

From: Aleksey Gurtovoy (agurtovoy_at_[hidden])
Date: 2003-10-23 02:40:44

Douglas Paul Gregor writes:
>> Oh, duh.  This is what Haskell calls "uncurry".  Wow!  Ok, so the long
>> and the short of it is that I should be writing
>>
>>    |= case<Add>( uncurry( eval(_1)+eval(_2) ) )
>
> Ah ha! That's the right term. Even if the rest of this discussion goes
> nowhere, we should probably write uncurry... 

We are almost there already:

    uncurry(f)(t) === apply(f,t)

where 'apply' is available from here - http://tinyurl.com/s0g6.

Aleksey