Haskell

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