[jeremysalwen]

Rust's generics are much more powerful. You can do type level programming, e.g. : https://docs.rs/peano/1.0.2/peano/

There's an interesting comparison of Rust and Haskell's type system here: https://www.reddit.com/r/rust/comments/4jh8hv/question_about... I guess it's just a matter of opinion about what sorts of differences you think are significant vs not.