Re: [boost] [guidelines] why template errors suck

Subject: Re: [boost] [guidelines] why template errors suck
From: David Abrahams (dave_at_[hidden])
Date: 2010-09-27 00:58:14

At Sun, 26 Sep 2010 11:26:50 -0400,
Dave Abrahams wrote:
> On Sep 26, 2010, at 8:55 AM, Eric Niebler <eric_at_[hidden]> 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