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

Some statically typed languages with first-class lexical closures and guaranteed tail call elimination:

• Standard ML (1978-1997)
• Miranda (1983-1986)
• CAML (1985-1995)
• OCaml (1996-present)
• Haskell (1990-2010)
• F# (2005-present)

without tail call elimination:

• C# (1999-present)
• Scala (2008-present)