[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