I suppose something close might be OCAML or Haskell, since they have similar type safety to Rust (whose syntax is loosely based on OCAML from what I understand)

I suppose something close might be OCAML or Haskell, since they have similar type safety to Rust (whose syntax is loosely based on OCAML from what I understand) but have some nice features that Python and Nim use like list comprehensions and generators, lazy evaluating, etc. But also with Rust macros you can sort of make your own sub-DSL's which add some of those features.