Haskell
Haskell is a lazy, purely functional programming language. Haskell is strongly, statically typed, and it is the most popular lazy programming language.
Implementations of Haskell include:
Programming Language
This is a programming language. It may be used to instruct computers to accomplish a variety of tasks which may or may not be domain-specific.