Haskell Curry

The logician of combinatory logic whose name two programming languages carry — Haskell and the currying of functions.

Specifications & Metrics

era

1900 – 1982

Core Principles & Analysis

• Combinatory logic removes variables from logic entirely, using only combinators.
• 'Currying' — turning multi-argument functions into chains of single-argument ones — is named for him.
• Moses Schönfinkel invented the underlying idea first; the eponym stuck anyway.