Subject: Re: [boost] painless currying
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2011-08-26 18:26:45
AMDG
On 08/26/2011 02:51 PM, Larry Evans wrote:
> On 08/26/11 15:24, Dave Abrahams wrote:
>>
>> No, sorry, but that's just silly. Array indexing is entirely
>> consistent:
>>
>> f[0] => returns int(&)[1][1]
>> f[0][0] => returns int(&)[1]
>> f[0][0][0] => returns int&
>>
> Then so is (using haskell notation):
>
> f :: X -> Y -> Z -> int
>
> f x => returns Y -> Z -> int
> f x y => returns Z -> int
> f x y z => returns int
>
> which is Eric's point. IOW, when supplied with enough arguments,
> the function returns the result_type of the function, just as,
> when a multi-dimensional array is supplied enough arguments
> (or indices) it returns the value type of the array.
>
That's just how functions that take multiple
arguments work in Haskell. It isn't how
C++ works. Trying to create the same behavior
in a language that supports multi-argument
functions directly seems like it would cause
more confusion than good.
In Christ,
Steven Watanabe