Re: [boost] painless currying

Subject: Re: [boost] painless currying
From: Dave Abrahams (dave_at_[hidden])
Date: 2011-08-25 12:01:18

on Wed Aug 24 2011, Mathias Gaunard <mathias.gaunard-AT-ens-lyon.org> wrote:

> On 08/24/2011 06:55 PM, Dave Abrahams wrote:
>
>> That's an asymmetry about most currying syntax that I never liked, at
>> least for C++.  I suppose when all functions are fully lazy there's no
>> assymmetry, but that's not C++.  In C++ we have parens to trigger
>> evaluation.  Even in Phoenix, laziness only goes partway: you still need
>> parens to trigger final evaluation.
>
> ML-based languages are not lazy and have had currying for 40 years.
> Yet the academics behind functional programming, lambda calculus,
> theorem proving and logic still seem to fancy them a lot.

No doubt; I was just expressing a personal sense of discomfort.

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com