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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe