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.
-- Dave Abrahams BoostPro Computing http://www.boostpro.com