Marc Planard on Nostr: My fav #Programming languages these days are #rustlang and #haskell . But I'd like to ...

My fav #Programming languages these days are #rustlang and #haskell . But I'd like to find a PL which is garbage collected (unlike Rust) and eager evaluated (unlike Haskell). But I'd like to keep the other features I like with these two.
The main ones I've identified are:

* a static, rich, algebraic type system
* compile to native binary
* eager evaluation
* production ready
* FP[-friendly]
* GC
* safe[ish]

I can only think of #OCaml to match all these criteria, do you know of any others?