You may employ non-trivial optimizations to a program which are not available in the Rust compiler and then output to, say, Rust. Or C. Also, you can easier co

You may employ non-trivial optimizations to a program which are not available in the Rust compiler and then output to, say, Rust. Or C. Also, you can easier combine different parts of a program, creating algebraic structures not available in Rust. Rust does not support higher-order functions nicely, OCaml does, for one example.