It has algebraic data types, type inference, closures, pattern matching. Haskell has these too, but it has more stuff like more emphasis on immutability and pu

It has algebraic data types, type inference, closures, pattern matching. Haskell has these too, but it has more stuff like more emphasis on immutability and purity unlike Rust and OCaml. Also, the first Rust compiler was written in OCaml.