Haskell is a purely functional programming language with a robust static type system and lambda calculus-based type inference. It is named for Haskell Curry, who developed the first theory of combinators and functionals. The language originates from the work of logician Alonzo Church and mathematician John McCarthy. McCarthy developed the ALGOL 60 language, which served as the basis for several subsequent languages, including Pascal, C++, and Java. Haskell was designed to be a more purely functional alternative to these languages.