Rant after trying Rust a bit

[deadalnix via Digitalmars-d]

On Saturday, 25 July 2015 at 09:40:52 UTC, Walter Bright wrote:
> On 7/25/2015 12:19 AM, Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
> <ola.fosheim.grostad+dlang at gmail.com> wrote:
>> The point of having a type system is to catch as many mistakes 
>> at compile time
>> as possible. The primary purpose of a type system is to reduce 
>> flexibility.
>
> Again, the D constraint system *is* a compile time system, and 
> if the template body uses an interface not present in the type 
> and not checked for in the constraint, you will *still* get a 
> compile time error.
>
> The idea that Rust traits check at compile time and D does not 
> is a total misunderstanding.
>

Obvious, everything is at compile time here. Still, there is 2 
steps, compiling the template (equivalent to compile time in the 
dynamic dispatch case), and instantiating the template 
(equivalent to runtime in the dynamic dispatch case).

That is the exact same problem.