I haven’t used this myself, but Reason seems to fit your description of ‘learning any language’ while having static typing: https://reasonml.github.io

I’m more of a lisper, but OCaml should be a fun learning experience, especially if you enjoy expressive, static type-systems: https://ocaml.org