News for hackers. Stuff that matters.
Re:Concepts: The Future of Generic Programming [pdf] by fungos on Tuesday December 20, 2016 @06:55PM (#13225518)
That is more related (not the same) to Java/C# Generics than Interfaces.

That is, it is resolved at compilation time and not at run-time as these that you cited except for some cases in Rust where Traits can be both run-time or compile-time depending on how you use them.

For decades C++ has the equivalent of these, it is called virtual pure classes (we may even consider virtual in general).

Re:Concepts: The Future of Generic Programming [pdf] by vvanders on Tuesday December 20, 2016 @08:21PM (#13226015)
Yup, I'm a big fan of how rust does dispatching. It's awesome to not have static/dynamic dispatch tied to the type but the explicit usage.