An advanced purely-functional programming language,Declarative, statically typed code.
Source: Haskell Language