Philip Wadler
informático teórico del Reino Unido / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Philip Wadler?
Resumir este artículo para un niño de 10 años
Philip Lee "Phil" Wadler (nacido el 8 de abril de 1956) 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,[2] el diseño del lenguaje puramente funcional Haskell, y el lenguaje de consulta declarativo XQuery.[3] En 1984, creó el lenguaje de programación Orwell. Wadler estuvo involucrado en la incorporación de tipos genéricos a Java 5.0.[4] Es también autor del artículo "Theorems for free!" que promovió el interés por investigar la optimización de lenguajes funcionales.[5]
Phil Wadler | ||
---|---|---|
Philip Wadler antes de una clase en la University of Edinburgh. | ||
Información personal | ||
Nombre de nacimiento | Philip Lee Wadler | |
Nacimiento |
8 de abril de 1956 (68 años) Estados Unidos | |
Nacionalidad | Británica y estadounidense | |
Educación | ||
Educado en |
| |
Supervisor doctoral | Nico Habermann[1] | |
Información profesional | ||
Ocupación | Informático teórico, ingeniero y profesor universitario | |
Área | Lenguaje de programación | |
Empleador | ||
Miembro de | ||
Sitio web | ||
Distinciones | ||