Philip Wadler

Philip Lee "Phil" Wadler es un científico de la computación estadounidense conocido por sus contribuciones al diseño de lenguajes de programación y la teoría de tipos. En particular, ha contribuido a la teoría detrás de la programación funcional y al uso de mónadas en programación funcional, el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery. En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0. Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales.