Are there any statically-typed functional languages?

Question

I\'m coming from a statically-typed background and investigating functional programming, but I\'m not entirely excited about dynamic typing. I\'m curious about what kind of opti

Answer 1

If you are familiar with the Java ecosystem, the very Haskell-like language Frege might be worth a look as it compiles to Java source code.