I think except macros, most of these features are ML family language features as well. Rust stands out because it can implement this in an efficient, zero overh

I think except macros, most of these features are ML family language features as well. Rust stands out because it can implement this in an efficient, zero overhead abstraction way.