Template constraints in D

[Walter Bright]

Bill Baxter wrote:
> But of course the main benefit of concept maps is that when I want to 
> plug Vinces's Vector class into Larry's LinearSolver class all I have to 
> do is specify how Vince's Vector satisfies Larry's VectorConcept.  And 
> it doesn't matter if Vince overloaded opMul to mean dot product, but 
> Larry expects a member named "dot".

You can do that with a proxy object.

> Maybe if you haven't yet you could talk it over with Andrei.  My 
> experience is that discussing things with you here on the NG is not all 
> that productive because you only ever respond with one or two sentences, 
> so that's all I'm going to say about this.

I find it difficult to have productive discussions via email (even with 
Andrei). The upcoming D conference, however, will give everyone a chance 
for face-to-face.