菲利普·瓦德勒

生平

菲利普·瓦德勒(Philip Wadler,1956-)是美国出生的计算机科学家,现为爱丁堡大学理论计算机科学教授,ACM Fellow、英国皇家学会会士。

主要贡献

瓦德勒是 Haskell 语言设计委员会成员,最广为人知的工作是把范畴论中的 Monad 引入函数式编程实践,使纯语言得以优雅地组织 I/O 与副作用;他与人合作提出的类型类(Type Class)机制成为 Haskell 的标志性特性。他提出"定理换免费"(Theorems for Free)阐明参数多态蕴含的定律,长期研究并推广 Curry-Howard 同构——著名演讲《Propositions as Types》即出自他手。他还是 Java 泛型前身 GJ(Generic Java)的设计者之一,并参与了链接体格式与会话类型等研究。

影响

瓦德勒的工作横跨理论与工业实践,把类型理论成果输送进 Haskell、Java 等主流语言;其"λ 演算传教士"式的演讲风格(演讲末常扮作超人形象展示 λ 标志)在社区中颇具辨识度。