[rust-dev] std::num::pow() is inadequate / language concepts

Ariel Ben-Yehuda arielb1 at mail.tau.ac.il
Sat Jul 26 22:29:21 PDT 2014


[The previous message got sent accidentally by gmail]

However, for performance reasons, I think some kind of trait overloading
would be nice.

i.e., you should be able to do

  impl<T> Trait<T> for A<φ> { ... }

  overload impl Trait<int> for A<φ[int/T]> {
    //...
  }

And when using (x : Trait<int>) the items in the overload impl will be used
instead of the items in the base impl (note that, except for associated
types, overloaded traits won't participate in name resolution/type checking
- so probably force associated types in the overload to be the same as the
base).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20140727/123293e1/attachment.html>


More information about the Rust-dev mailing list