The Glorious Glasgow Haskell Compilation system (GHC) is a compiler for Haskell.

Haskell is "the" standard lazy functional programming language. The language definition and additional documentation can be found at https://www.haskell.org/documentation/.