So here's my 2c FWIW.
TL;DR I strongly recommend trying F#, even though I'm still learning it. As I'm still learning it, take my opinion with a pinch of salt. For context, I'm a Ruby dev mostly with a fair bit of TS/JS, C# and some Go experience and I wanted to get into FP for similar reasons (typing, mutability issues, among others). So, I did the thing any rational lazy programmer would do and became an armchair expert in a few different languages (i.e. I watched YouTube and read blogs for a few weeks with a bit of tinkering on the side).
I passed on these languages:
The reasons I passed on those languages are largely the reasons I chose F#:
F# is about getting things done and getting them done right with a functional-first but pragmatic approach. The themes of F# according to its creator are for it to be "succinct, robust, performant" which I think is true but being modest. It's what happens when a language is designed with a laser focus on pragmatism and even a disdain for anything that isn't useful or practical. I believe it will tick all your boxes.
More than that, you seems to get your cake and eat it too:
As for not being multi-paradigm, F# is but I don't think that should be considered a drawback. If you go look at the language benchmarks game and look at the actual code samples you'll see that a lot of the fastest FP languages' code samples are written, well, not very functionally. There's mutation and loops and imperative stuff everywhere. Because imperative coding is generally still faster and more efficient than FP coding. I'd advise you to embrace functional coding as another tool, not a religion. Sometimes object-based code is appropriate and F# allows that, because F# is about getting things done, not breeding disciples of a purist pursuit. F# is multi-paradigm the same way JS/TS is functional. You can do it if you really want but you're going against the grain and it will guide you towards functional-first coding.
Here are the resources I recommend to get started:
P.S. Ruby is as functional as JS. Probably less so in fact. It's also smothered by the behemoth that Rails became - it's hard to find good Ruby code because most of it is Rails code or Rails-compatible code and if you're interested in FP you won't like it. It will always have a special place in my heart because of what it enabled me to do but I wouldn't recommend it in your case.
I used Get Programming with F# and Domain Modeling Made Functional to learn F#. It worked out great.