4 ms·

>Haskell introduced typeclasses. Go and Rust popularize them (as interfaces and traits, respectively, the latter also influenced by C++ STL's concepts). This i

• jroesch 12y ago
  This may be true about Go, but Rust's traits were very similar to Haskell type classes and now are equivalent in power to Haskell's type classes with several extensions turned on (even though they lack HKTs). As a side note although clunky HKTs are encodable in Rust and I plan on implementing them natively once we have landed a stable version of 1.0.
  • runT1ME 12y ago
    How do you enforce them as constraints on a method?
    • dan00 12y ago
      pub trait SomeTrait { ... } pub fn some_function<T: SomeTrait>(arg: T) { ... }