There are plenty of languages in that niche you could be using. OCaml, Haskell, F#...