Christian Kamm wrote:
BLS Wrote:
I have somehow the idea that D constraints and template specialization
should merge.
I also feel that specialization may just be a special case of constraints -
with the added benefit that implicit function template instantiation works.
will see what Walter is thinking.
Maybe we can call that stuff later on ... meta generics ? Now serious ,
looking a bit ahead, complete templated decision trees are /at least/
imaginable.
Is there a difference between
template Foo(T : U) {} and
template Foo(T) if(is(T : U)) {} ?
erm, give me an hour or so.. :)
