Hacker News Reader

Sounds like OCaml is exactly what you want. Many of Rust's features are even inspired by it.

As well as syntactic constructs.

For example, Rust's unusual 'a syntax for lifetime parameters is Ocaml's syntax for generics because lifetimes are a special class of generics.