Template constraints in D

[Ary Borenszweig]

For me, this is the big difference between them:

Semantic analysis of template bodies:
  - D: Lazy (done at instantiation time)
  - C++0x: Eager (done at definition time)

I want to get errors in the template itself, not just know that I've 
done something wrong in my template when some user discovers a bug in 
it. This will also enable IDE support for templates.

Walter Bright a écrit :
> 
> (Also comparing them with C++0x concepts.)
> 
> http://www.digitalmars.com/d/2.0/cpp0x.html#concepts
> 
> http://www.digitalmars.com/d/2.0/concepts.html
> 
> Essentially, I think we cover the necessary ground with an order of 
> magnitude simpler system.