Haskell

Haskell is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation.