There are two subcommunities in the world of functional strictly typed programming languages. The Haskell camp is where you get the mind bending jargon and ivory tower ideas. Luckily, there is another camp that eschews this head-in-the-clouds thinking and sticks to practical matters first and foremost. You'll want to look for the ML family of languages: SML, Rust, Ocaml, F#, and Scala (my favorite of them all, but for some reason some people are trying to turn it into Haskell on the JVM).