哈斯凯尔·柯里

生平

哈斯凯尔·柯里(Haskell Brooks Curry,1900-1982)是美国数学家、逻辑学家,长期任教于宾夕法尼亚州立大学,曾于阿姆斯特丹大学任职。他毕生致力于组合子逻辑研究,是该领域最重要的系统建设者。

主要贡献

柯里在 Schönfinkel 工作的基础上全面发展了组合子逻辑,研究无变量的计算形式系统;他与 Robert Feys 合著的《Combinatory Logic》是该领域经典。他还注意到逻辑命题与类型之间的对应关系,这一观察后来发展为 Curry-Howard 同构,成为类型理论与程序验证的基石。

命名遗产

函数式编程中把多参函数转换为单参函数链的技术被称为"柯里化"(Currying);1990 年发布的惰性纯函数式语言 Haskell 直接以他的名字命名,另有逻辑函数式语言 Curry 也以其姓氏命名。一人名字同时成为一门语言、一种技术与一条定理的来源,在计算机科学史上颇为罕见。