description Philip Wadler Overview
Philip Wadler is a professor of theoretical computer science at the University of Edinburgh. He is a co-designer of the Haskell programming language and is credited with introducing monads as a practical structuring mechanism for functional programming, an approach that has been adopted across functional languages. He has contributed to the design of type classes, the formalization of the Curry-Howard correspondence, and practical language features including Java generics and C#'s LINQ query language.
insights Ranking position
Philip Wadler ranks #92 of 185 in the Computer Scientist ranking, behind Ran Raz, ahead of Narendra Karmarkar.
help Philip Wadler FAQ
How did Philip Wadler introduce monads to functional programming?
Wadler proposed using monads—a concept from category theory—as a way to structure side effects such as I/O, state, and exceptions in pure functional languages like Haskell. His influential papers from the mid-1990s showed how monads could cleanly separate effectful computations from pure code.
What role did Philip Wadler play in the creation of Haskell?
Wadler was one of the co-designers of Haskell from its inception in the early 1990s, contributing to its type class system and its monadic I/O model. His design contributions shaped many of the language's most distinctive features.
Where does Philip Wadler work?
Wadler is a professor of theoretical computer science at the University of Edinburgh in Scotland. He previously held positions at the University of Glasgow and at Avaya Labs Research in the United States.
What other contributions has Philip Wadler made to programming language theory?
Beyond monads, Wadler contributed to the design of the Generic Haskell extension, the development of the Java Generics specification (GJ), and work on linear types. He has also been an active voice in connecting programming language theory to logic through the Curry-Howard correspondence.
explore Explore More
Reviews & Comments
Write a Review
Be the first to review
Share your thoughts with the community and help others make better decisions.
