My favourite so far are the ML family and F# in particular. The only language(s) I regret not learning earlier. Try F# or OCaml if you haven’t already.
Besides Prolog & APL, I would add Forth to the list.
I feel the same about statically typed functional programming as about Rust, it's a nice theory but in practice you end up squeezing problems into weird shapes to keep the language happy.
I skimmed the 'overview' page  and it looks unusual enough that I might give it a more serious go at some point.
I'm not especially au fait with functional programming, and have only a basic familiarity with Forth, so it's rather alien. Which is of course the appeal.
I'd shill APL/J/etc.
It's just a shame that q isn't free for commerical use (though it's free for personal use) and there aren't many jobs outside of finance.
I then go further and describe languages as linear combinations of these: Python as C minus Haskell plus Lisp; Mathematica as Lisp plus SQL; F# as (Haskell plus C)/2.
Actually it is both
Do you know about any language with as strong or stronger borrow checker than that of Rust?