Ocaml and Haskell are two other contenders if you are looking to learn functional programming. Both compile to native code and quite effecient. Haskell has few

Ocaml and Haskell are two other contenders if you are looking to learn functional programming. Both compile to native code and quite effecient. Haskell has few web frameworks which are worth taking a look. Needless to say C++ may also be an option given your familiarity with C. Other newer contenders are Crystal and Nim. Both look promising but are still young languages. DLang and Zig are more known for systems programming but like rust can also be used for web programming. For a go like language also take a look Vlang (which has a lot of stuff built-in, web framework, orm, testing, ...) I think all of these languages fit your requirements, as you can see there's quite a lot of choice these days. As usual there is no right or wrong way to go. (: