[Haskell-cafe] historical question about Haskell and Haskell Curry
Michael Vanier
mvanier at cs.caltech.edu
Wed Jul 18 22:22:38 EDT 2007
We always say that Haskell is named for Haskell Curry because his work provided the
logical/computational foundations for the language. How exactly is this the case? Specifically,
does anyone claim that Curry's combinatorial logic is more relevant to the theoretical foundations
of Haskell than e.g. Church's lambda calculus? If not, why isn't Haskell called "Alonzo"? ;-)
Mike
More information about the Haskell-Cafe
mailing list