> C+0x tried "concepts", ended up deferring them.

As I understand it, these didn't provide any kind of dynamic dispatch.
They were a way to specify that a type had a number of static
functions/methods/operators apply to it, so that you could more
meaningfully talk about the kind of types a template supported. They
are similar in that a type can be made to satisfy a concept by having
operators defined on it outside of its definition, but should be seen
as a static thing that only makes sense if you have C++-style
templates.
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to