On 20/08/13 05:29, Nathan Ridge wrote:
The big problem is that a proper concepts language feature would require fundamental changes to what ConceptsLite proposes, so it's not simply a matter of getting ConceptsLite in and then improving it in the future. If ConceptsLite gets in, I find it hard to believe that C++ will ever get proper concept support.
I would strongly suggest that you bring this up on std-proposals. As it stands, ConceptsLite appears to have fairly broad support within the Committee, and if issues like this are not brought up, it might be passed without such issues being considered carefully enough.
His argument is that the definition of concepts and their association with types is not rigid and formal anymore. It's just any constant boolean expression. It's not a bug, it's a feature.