I think Gluon is a good example of how Rust can be 'bulked up'. The idea is to have a DSL inside Rust that essentially has haskell semantics. This allows you t

I think Gluon is a good example of how Rust can be 'bulked up'. The idea is to have a DSL inside Rust that essentially has haskell semantics. This allows you to write performance sensitive code in Rust and then marshall it into Gluon where you can do high level manipulations with type safety before you unmarshall into a performance sensitive section again. To me the failure of Rust is more that it didn't go full-on-haskell syntax wise and (to a lesser extent) that there isn't a specification (or some standards) beyond the test suite.