Philip Wadler
Philip Lee Wadler (8 aprile 1956) è un informatico statunitense.
È noto per i suoi contributi alla progettazione del linguaggio di programmazione e alla teoria dei tipi. In particolare, ha contribuito alla teoria alla base della programmazione funzionale[1] e all'uso delle monadi nella programmazione funzionale, alla progettazione del linguaggio puramente funzionale Haskell e al linguaggio di query dichiarativo XQuery. Nel 1984 ha creato il linguaggio di programmazione Orwell. Wadler è stato coinvolto nell'aggiunta di tipi generici a Java 5.0[2]. È anche autore dell'articolo Theorems for free![3] che ha dato origine a molte ricerche sull'ottimizzazione del linguaggio funzionale.
Wadler ha conseguito una laurea (Bachelor) scientifica in matematica presso la Stanford University nel 1977 e un Master in Ingegneria informatica presso la Carnegie Mellon University nel 1979[4]. Ha completato il suo dottorato in filosofia in informatica presso la Carnegie Mellon University nel 1984. La sua tesi si intitolava Listlessness is Better than Laziness (l'apatia è meglio della pigrizia) ed è stata supervisionata da Nico Habermann.
Gli interessi di ricerca di Wadler riguardano i linguaggi di programmazione. Wadler è stato ricercatore presso il Programming Research Group (parte dell'Oxford University Computing Laboratory) e il St Cross College (Oxford) dal 1983 al 1987. È stato progressivamente docente, lettore e professore presso l'Università di Glasgow dal 1987 al 1996. Wadler è stato membro dello staff tecnico presso Bell Labs, Lucent Technologies (1996–99) e poi presso Avaya Labs (1999–2003). Dal 2003 è professore di informatica teorica presso la School of Informatics dell'Università di Edimburgo[5].
Wadler è stato editore del Journal of Functional Programming dal 1990 al 2004.
Wadler sta attualmente lavorando a un nuovo linguaggio funzionale progettato per scrivere applicazioni web, chiamato Links.[6]
Dal 2003, Wadler è professore di informatica teorica presso il Laboratory for Foundations of Computer Science presso l'Università di Edimburgo. È anche membro del Blockchain Technology Laboratory dell'università. Ha un indice H di 70 con 24.447 citazioni su Google Scholar. A dicembre 2018 Wadler era leader di area per i linguaggi di programmazione presso IOHK, una società di sviluppo della blockchain.
Note
[modifica | modifica wikitesto]- ^ Philip Wadler: Biography, su oreillynet.com, O'Reilly Media. URL consultato il 20 marzo 2017.
- ^ Wadler, Philip e Naftalin, Maurice, Java generics and collections, Sebastopol, CA, O'Reilly, 2007, ISBN 978-0-596-52775-4.
- ^ P. Wadler, Theorems for free!, in Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89, 1989, p. 347, DOI:10.1145/99370.99404, ISBN 978-0-89791-328-7.
- ^ Philip Wadler : CV (PDF), su Homepages.inf.ed.ac.uk. URL consultato il 20 marzo 2017.
- ^ Philip Wadler, su Inf.ed.ac.uk. URL consultato il 20 marzo 2017.
- ^ Archived copy, su groups.inf.ed.ac.uk. URL consultato il 22 giugno 2006 (archiviato dall'url originale il 17 giugno 2006).
Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file su Philip Wadler
Collegamenti esterni
[modifica | modifica wikitesto]- Sito ufficiale, su homepages.inf.ed.ac.uk.
- (EN) Philip Wadler, su Mathematics Genealogy Project, North Dakota State University.
Controllo di autorità | VIAF (EN) 74166584 · ISNI (EN) 0000 0001 1448 039X · LCCN (EN) n92021509 · GND (DE) 1118540433 · BNF (FR) cb155572767 (data) · J9U (EN, HE) 987007459726905171 · NDL (EN, JA) 00476716 |
---|