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 18:01:27

At Mon, 27 Sep 2010 22:01:09 +0100,
Mathias Gaunard wrote:
> 
> On 27/09/2010 17:56, David Abrahams wrote:
> 
> > Among other things, you're missing the other half of concept
> > checking: checking algorithm bodies against constraints (which is
> > done in the Concept_check library by using archetypes).
> >
> > P.S. I'm not claiming concepts can't be described via valid
> > expressions; I'm claiming it's the wrong approach, for reasons
> > that should become evident to anyone who *actually does the
> > exercise*.
> 
> I don't see how a set of statements is much different from a set of 
> expressions, except that statements don't have nice properties from a 
> meta-programming point of view.

No comment.

do-the-exercise-ly y'rs,

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