Philip Wadler: differenze tra le versioni

E' 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<ref>{{citeCita web|url=http://www.oreillynet.com/pub/au/2440|titletitolo=Philip Wadler: Biography|publishereditore=[[O'Reilly Media]]|access-dateaccesso=March20 20,marzo 2017}}</ref> e all'uso delle monadi nella programmazione funzionale, alla progettazione del linguaggio puramente funzionale [[Haskell (linguaggio)|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 (linguaggio di programmazione)|Java]] 5.0<ref name="Wadler, Philip; Naftalin, Maurice 2007">{{cite bookCita libro|author1autore1=Wadler, Philip |author2autore2=Naftalin, Maurice |titletitolo=Java generics and collections |publishereditore=O'Reilly |locationcittà=Sebastopol, CA |yearanno=2007 |isbn=978-0-596-52775-4 |author1-linkwkautore1=Phil Wadler }}</ref>. È anche autore dell'articolo ''[[Theorems for free!]]''<ref name="free">{{Cite bookCita libro| doi = 10.1145/99370.99404| chapter capitolo= Theorems for free!| title titolo= Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89| page p= 347| year anno= 1989| last1 cognome1= Wadler | first1 nome1= P. | isbn = 978-08979132870-89791-328-7| s2cid = 5513047}}</ref> 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]]<ref name="vita">{{citeCita web|url=http://homepages.inf.ed.ac.uk/wadler/vita.pdf |titletitolo=Philip Wadler : CV |websitesito=Homepages.inf.ed.ac.uk |access-dateaccesso=March 20, marzo 2017}}</ref>. 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]]

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]]<ref>{{citeCita web|url=http://www.inf.ed.ac.uk/people/staff/Philip_Wadler.html |titletitolo=Philip Wadler |websitesito=Inf.ed.ac.uk |access-dateaccesso=March 20, marzo 2017}}</ref>.

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.<ref>{{citeCita web |url=http://groups.inf.ed.ac.uk/links |titletitolo=Archived copy |access-dateaccesso=June 22, giugno 2006 |url-statusurlmorto=deads |archive-urlurlarchivio=https://web.archive.org/web/20060617043737/http://groups.inf.ed.ac.uk/links |archive-datedataarchivio=June17 17,giugno 2006 }}</ref>