Most of these productivity gains are achievable in any Standard ML influenced type system.
replies(4):
Also we don't need leftpad like libraries, which is the direction Rust seems to be going when I try some some basic application that has like 50 crate dependencies.