Actually, OCaml has plenty of features that Rust doesn't have. The ML module system/functors are a big one. Polymorphic variants. Global type inference. GADTs.

Actually, OCaml has plenty of features that Rust doesn't have. The ML module system/functors are a big one. Polymorphic variants. Global type inference. GADTs. Garbage collector :).