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

haskell leaps to mind (although its type system is probably the most advanced out there), the ML family of languages, F# AFAIK.