27 Sep
2010
27 Sep
'10
4:58 a.m.
At Sun, 26 Sep 2010 11:26:50 -0400, Dave Abrahams wrote:
On Sep 26, 2010, at 8:55 AM, Eric Niebler <eric@boostpro.com> wrote:
The truth is that valid expressions are the wrong way to describe concepts, for reasons you and I have discussed in the past. The now-comatose C++ concepts proposal had it right.
I was never convinced that valid expressions are the wrong approach.
To convince yourself:
* Write down the find_if algorithm in a natural way * write down the valid expressions implied by that algorithm * now re-check the algorithm against the valid expressions
So, no takers? :-) -- Dave Abrahams BoostPro Computing http://www.boostpro.com