C++0x Concepts - Dead?

[Walter Bright]

BLS wrote:
> The current Template specialization implementation is doing a best fit 
> search anyway, so why constraints are not able to use the same mechanism. ?

The template specialization method is based on types - but there's no 
way to look inside those types and specialize based on properties of 
those types. That's where constraints come in.

Constraints use a completely different matching method than the type 
parameters do. It makes intuitive sense to logically separate them, 
rather than to mix them up.


> bearophile brings in several times Scala/OCAML like pattern matching. 
> Why not using that for constraints ?

I have no idea how that works, though Bartosz has been looking into it.