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

From: Eric Friedman (ebf_at_[hidden])
Date: 2003-10-23 21:18:43

Aleksey Gurtovoy wrote:

> 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

Why wasn't there any response to this! (Yes, I'm guilty, too.) Anyhow, 
eight months later, I still think this should be added :)

It would help with some other things I'm trying to do, too.

Eric