Haskell Curry

Haskell Curry (1900–1982) was an American mathematician and logician whose work on combinatory logic and the foundations of functional programming left an imprint on computer science that far exceeds his name recognition. He is the namesake of the programming language Haskell, the Curry-Howard Correspondence (jointly with William Alvin Howard), and the process of currying — transforming a function that takes multiple arguments into a sequence of functions each taking a single argument. Curry's combinatory logic, developed in the 1930s alongside Alonzo Church's lambda calculus, offered an alternative foundation for computation that eliminated variables entirely, replacing them with a small set of primitive combinators. The tension between Church's variable-rich formalism and Curry's variable-free alternative remains visible today in the design of functional programming languages and proof assistants.