concepts and interfaces

[Dan]

Neal Becker Wrote:
> What would D do to replace concept mapping?  That seems to me to be the most
> interesting part of c++ concepts.

I'm not sure if I'm on the mark in suggesting any contracts intended to improve the robustness of a program by imposing additional constraints on the data be implemented as an extension of invariant{}

Since we're still programming algorithms explicitly; compile-time evaluation is trivial to constrain?  (infinite for loops, etc)