Don wrote:
The problem is, I'm not sure that it's feasible in general. At least, it's not obvious how to do it.
C++0x Concepts tried to do it in a limited form, and it got so complicated nobody could figure out how it was supposed to work and it capsized and sank.
I don't think it's possible in the more general sense.
