Haskell

Haskell is a purely functional programming language that is declarative and statically typed. It was named after the logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).