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 https://r

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 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 https://ocaml.org