菲利普·瓦德勒

菲利普·李·瓦德勒(Philip Lee Wadler,1956年4月8日)是一位美国计算机科学家,以其对编程语言设计和类型论的贡献而闻名,2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献[2],包括函数式编程单子的使用、纯函数式语言Haskell的设计、[3]和XQuery声明式查询语言等。1984年,他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。[4]

菲利普·瓦德勒
Wadler2.JPG
瓦德勒在爱丁堡大学教课
出生 (1956-04-08) 1956年4月8日66岁)
母校
  • 斯坦福大学 (BSc)
  • 卡内基梅隆大学 (PhD)
奖项
  • 爱丁堡皇家学会院士 (2005) [1]
  • 计算机协会院士 (2007)
网站
科学生涯
机构
  • 爱丁堡大学
  • 贝尔实验室
  • 牛津大学
  • 卡内基梅隆大学
  • 斯坦福大学

参考文献

  1. ^ Royal Society of Edinburgh profile
  2. ^ Philip Wadler: Biography. O'Reilly Media. [March 20, 2017]. (原始内容存档于2013-09-27). 
  3. ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B. Report on the programming language Haskell. ACM SIGPLAN Notices. 1992, 27 (5): 1. doi:10.1145/130697.130699. 
  4. ^ Wadler, Philip; Naftalin, Maurice. Java generics and collections. Sebastopol, CA: O'Reilly. 2007. ISBN 978-0-596-52775-4.