菲利普·瓦德勒

维基百科,自由的百科全书
(重定向自Philip Wadler
菲利普·瓦德勒
瓦德勒在爱丁堡大学教课
出生 (1956-04-08) 1956年4月8日67歲)
母校
奖项
网站
科学生涯
机构

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

参考文献

  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.