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