27 Sep
2010
27 Sep
'10
10:01 p.m.
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