What's wrong with D's templates?

[Nick Sabalausky]

"retard" <re at tard.com.invalid> wrote in message 
news:hgnlug$452$1 at digitalmars.com...
> Mon, 21 Dec 2009 04:05:01 -0700, Rainer Deyke wrote:
>
>> yigal chripun wrote:
>>> Rainer Deyke Wrote:
>>>> I prefer to think of option 2 as explicitly typed while option 3 uses
>>>> type inference.  Type inference is a good thing.
>>
>>> You might prefer that but it's incorrect.
>>
>> It's not incorrect, it's another way of looking at the same thing.
>> Structural type inference and
>
>> compile-time dynamic typing are the same
>> thing.
>
> Now that's a funny term.. you see
>
> dynamic = runtime
> static = compile-time
>
> "compile type dynamic X" is a paradox. And so is "runtime static X"
>

That's not a paradox, that's a contradiction. ;)

("That's no paradox, that's my wife!" [canned laughter])