Введение
Американский учёный в области компьютерных наук Филипп Ли Уодлер (род. 8 апреля 1956 года) — американский учёный, проживающий в Великобритании, известный своими вкладами в разработку языков программирования и теорию типов. Он занимает должность председателя теоретической информатики в Лаборатории основ компьютерных наук при Школе информатики Эдинбургского университета. Он внес вклад в теорию функционального программирования и применение монад, а также в разработку чисто функционального языка Haskell и декларативного языка запросов XQuery. В 1984 году он создал язык Orwell. Уодлер принимал участие в добавлении обобщённых типов в Java 5.0. Он также является автором статьи «Теоремы даром!», которая послужила толчком к многочисленным исследованиям в области оптимизации функциональных языков (см. также Параметричность).
Philip Lee Wadler (born April 8, 1956) is a UK based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free! ", a paper that gave rise to much research on functional language optimization (see also Parametricity).
Образование
Ведлер получил степень бакалавра наук по математике в Стэнфордском университете в 1977 году и степень магистра наук по информатике в Университете Карнеги — Меллона в 1979 году. Он завершил получение докторской степени (PhD) по информатике в Университете Карнеги — Меллона в 1984 году. Его диссертация называлась «Апатия лучше, чем лень» и была написана под руководством Нико Хаберманна.
Исследования и карьера
Исследовательские интересы Вадлера связаны с языками программирования. В 1983–1987 годах Вадлер был научным сотрудником в исследовательской группе программирования (входящей в состав вычислительной лаборатории Оксфордского университета) и в колледже Сент-Кросс при Оксфордском университете. С 1990 по 2004 год Вадлер был редактором журнала "Функциональное программирование". С 2003 года Вадлер является профессором теоретической информатики в Лаборатории основ компьютерных наук Эдинбургского университета и занимает должность председателя теоретической информатики. В 2006 году он работал над новым функциональным языком для разработки веб-приложений под названием Links. Он руководил завершением многих диссертаций. Он также является членом университетской лаборатории блокчейн-технологий. Индекс Хирша Вадлера составляет 72 при 26 864 цитированиях в Google Scholar. С 2018 года Вадлер также является старшим научным сотрудником и руководителем направления языков программирования в IOHK (ныне Input Output Global), блокчейн-инжиниринговой компании, разрабатывающей Cardano. Он внес вклад в разработку Plutus – языка умных контрактов, полностью реализующего машину Тьюринга, для Cardano, написанного на Haskell; системы UTXO, нативных токенов и системы F в Agda.
Награды и почести
В 2003 году Уэдлер был удостоен награды за самую влиятельную статью, опубликованную десять лет назад, на Симпозиуме по принципам языков программирования. Наградой была отмечена работа "Императивное функциональное программирование", написанная совместно с Саймоном Пейтоном Джонсом в 1993 году. В 2005 году он был избран членом (Fellow) Королевского общества Эдинбурга (FRSE). В 2007 году он был принят в члены Ассоциации вычислительной техники. В 2023 году он был избран членом Королевского общества (FRS).