菲利普·瓦德勒
(重定向自Philip Wadler)
此条目可参照英语维基百科相应条目来扩充。 (2021年9月13日) |
菲利普·李·瓦德勒(Philip Lee Wadler,1956年4月8日—)是一位美国计算机科学家,以其对编程语言设计和类型论的贡献而闻名,2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献[2],包括函数式编程中单子的使用、纯函数式语言Haskell的设计、[3]和XQuery声明式查询语言等。1984年,他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。[4]
菲利普·瓦德勒 | |
---|---|
出生 | 1956年4月8日 |
母校 | |
奖项 | |
网站 | |
科学生涯 | |
机构 |
参考文献
编辑- ^ Royal Society of Edinburgh profile
- ^ Philip Wadler: Biography. O'Reilly Media. [March 20, 2017]. (原始内容存档于2013-09-27).
- ^ 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.
- ^ Wadler, Philip; Naftalin, Maurice. Java generics and collections. Sebastopol, CA: O'Reilly. 2007. ISBN 978-0-596-52775-4.