Haskell is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation.
Website | Wikipedia
Hello World made in as many languages as I know.