Re: Rant after trying Rust a bit

[Jacob Carlborg via Digitalmars-d]

On 2015-07-24 06:43, Walter Bright wrote:

Consider the following:
     int foo(T: hasPrefix)(T t) {
        t.prefix();    // ok
        bar(t);        // error, hasColor was not specified for T
     }

     void bar(T: hasColor)(T t) {
        t.color();
     }

Now consider a deeply nested chain of function calls like this. At the
bottom, one adds a call to 'color', and now every function in the chain
has to add 'hasColor' even though it has nothing to do with the logic in
that function. This is the pit that Exception Specifications fell into.

I don't see the difference compared to a regular parameter. If you don't 
specify any constraints/traits/whatever it like using "Object" for all 
your parameter types in Java.

--
/Jacob Carlborg