Rant after trying Rust a bit

[Walter Bright via Digitalmars-d]

On 7/23/2015 6:05 PM, H. S. Teoh via Digitalmars-d wrote:
> It doesn't solve *all* the problems, but it does solve a
> significant subset of them.

The worst case of not having this feature is a compile time error. Not a runtime 
error, undetectable error, or silent corruption. A compile time error.

I also believe that you underestimate the nuisance significance of requiring the 
constraints cover 100% of everything the template body does.

Experience with something similar is with exception specifications. Even 
advocates of ES found themselves writing obviously crap code to work around the 
issue, because ES was so damned annoying.

I know a lot of the programming community is sold on exclusive constraints (C++ 
concepts, Rust traits) rather than inclusive ones (D constraints). What I don't 
see is a lot of experience actually using them long term. They may not turn out 
so well, like ES.