News for hackers. Stuff that matters.
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by throwamon on Thursday June 02, 2022 @07:38PM (#31602032)
Sounds like OCaml is exactly what you want. Many of Rust's features are even inspired by it.
Re:Rust Is Hard, Or: The Misery of Mainstream Programming by ssokolow on Tuesday June 07, 2022 @09:36PM (#31662249)
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.