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

Subject: Re: [boost] [guidelines] why template errors suck
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2010-09-27 17:01:09

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.