A purely functional programming language with strong static typing and lazy evaluation. Haskell is known for its mathematical foundation and expressive type system.