Haskell

Haskell is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Got talent? Submit your header work for fame