Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Филип Ли Вадлер (родился 8 апреля 1956 г.) - американский ученый-компьютерщик, известный своим вкладом в разработку языков программирования и теорию типов . В частности, он внес свой вклад в теорию за функциональным программированием [8] и использование монад в функциональном программировании , дизайн чисто функциональный языке Haskell , [9] и XQuery язык декларативного запроса. В 1984 году он создал язык программирования Оруэлла . Вадлер участвовал в добавлении универсальных типов в Java 5.0. [10]Он также является автором статьи « Теоремы» бесплатно! [11], которые послужили поводом для большого количества исследований по оптимизации функционального языка (см. Также Параметричность ).

Образование [ править ]

Wadler получил степень бакалавра наук степень в области математики из Стэнфордского университета в 1977 году, и магистра наук степень в области компьютерных наук Университета Карнеги - Меллона в 1979 г. [12] Он закончил свою степень доктора философии в области компьютерных наук в Университете Карнеги - Меллона в 1984 году. Его диссертация была озаглавлена ​​« Вялость лучше, чем лень», и под ее руководством Нико Хаберманн . [13] [4]

Исследования и карьера [ править ]

Исследовательские интересы Вадлера [14] [3] [15] связаны с языками программирования . [10] [16]

Вадлер был научным сотрудником в исследовательской группе программирования (часть вычислительной лаборатории Оксфордского университета ) и в колледже Сент-Кросс в Оксфорде в 1983–87 годах. [12] Он постепенно был лектором, читателем и профессором в Университете Глазго с 1987 по 1996 год. Вадлер был членом технического персонала в Bell Labs , Lucent Technologies (1996–99), а затем в Avaya Labs (1999–2003). . С 2003 года он является профессором теоретической информатики в Школе информатики Эдинбургского университета . [17]

Вадлер был редактором журнала функционального программирования с 1990 по 2004 год. Вадлер в настоящее время [ когда? ] работает над новым функциональным языком, предназначенным для написания веб-приложений , который называется Links . [18] Он руководил многочисленными докторантами до завершения. [4] [5] [6] [7]

С 2003 года Вадлер является профессором теоретической информатики в Лаборатории основ информатики Эдинбургского университета и заведующим кафедрой теоретической информатики. [19] Он также является членом Лаборатории технологии блокчейн при университете. [20] [21] У него индекс Хирша 70, 24 447 цитирований в Google Scholar . [22] По состоянию на декабрь 2018 года Вадлер был руководителем области языков программирования в IOHK, фирме по разработке блокчейнов. [23]

Награды и награды [ править ]

Вадлер получил премию « Самая влиятельная статья по POPL» в 2003 году за доклад на симпозиуме POPL 1993 года « Императивное функциональное программирование» , совместно с Саймоном Пейтоном Джонсом . [12] [24] В 2005 году он был избран членом Королевского общества Эдинбурга . [1] В 2007 году он был введен в качестве ACM Fellow по Ассоциации вычислительной техники (ACM). [2]

Ссылки [ править ]

  1. ^ a b Профиль Эдинбургского королевского общества
  2. ^ a b Страница награды стипендии ACM
  3. ^ a b Публикации Филипа Вадлера, проиндексированные Google Scholar
  4. ^ a b c d e f g Филип Уодлер в проекте « Математическая генеалогия»
  5. ^ a b Хатчинс, Делесли (2009). Системы чистых подтипов: теория типов для расширяемого программного обеспечения . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. hdl : 1842/3937 . OCLC  781103005 .
  6. ^ а б Лестер, Дэвид. (1988). Редукция комбинаторного графа: сравнение и его приложения . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. ISBN 9780902928558. OCLC  937098100 .
  7. ^ a b Яллоп, Джереми (2010). Абстракция для веб-программирования . ethos.bl.uk (кандидатская диссертация). Эдинбургский университет. ЛВП : 1842/4683 . OCLC 827264319 . 
  8. ^ «Филип Вадлер: Биография» . O'Reilly Media . Проверено 20 марта 2017 года .
  9. ^ Худак, П .; Johnsson, T .; Kieburtz, D .; Нихил, Р .; Partain, W .; Peterson, J .; Пейтон Джонс, С .; Wadler, P .; Бутель, Б .; Fairbairn, J .; Fasel, J .; Гусман, МАМ; Hammond, K .; Хьюз, Дж. (1992). «Отчет по языку программирования Haskell». Уведомления ACM SIGPLAN . 27 (5): 1. DOI : 10,1145 / 130697,130699 . S2CID 15516611 . 
  10. ^ a b Вадлер, Филипп ; Нафталин, Морис (2007). Дженерики и коллекции Java . Севастополь, Калифорния: О'Рейли. ISBN 978-0-596-52775-4.
  11. ^ Wadler, P. (1989). «Теоремы бесплатно!». Материалы четвертой международной конференции по функциональным языкам программирования и архитектуре компьютера - FPCA '89 . п. 347. DOI : 10,1145 / 99370,99404 . ISBN 978-0897913287. S2CID  5513047 .
  12. ^ a b c "Филип Вадлер: CV" (PDF) . Homepages.inf.ed.ac.uk . Проверено 20 марта 2017 года .
  13. ^ Wadler, Филип Ли (1984). Вялость лучше, чем лень: алгоритм, преобразующий прикладные программы для исключения промежуточных списков (докторская диссертация). Университет Карнеги Меллон. OCLC 123317612 . ProQuest 303342238 .   (требуется подписка)
  14. ^ Филип Вадлер насервере библиографии DBLP
  15. ^ Публикация Филиппа Уодлер в индексируется Scopus библиографической базы данных. (требуется подписка)
  16. ^ Птица, Ричард Миллер ; Уодлер, Филипп (1998). Введение в функциональное программирование с использованием Haskell . Нью-Йорк: Prentice Hall Europe. ISBN 978-0-13-484346-9.
  17. ^ "Филип Вадлер" . Inf.ed.ac.uk . Проверено 20 марта 2017 года .
  18. ^ "Архивная копия" . Архивировано из оригинала 17 июня 2006 года . Проверено 22 июня 2006 года .CS1 maint: заархивированная копия как заголовок ( ссылка )
  19. ^ "Филип Вадлер" . inf.ed.ac.uk . Эдинбургский университет. nd . Проверено 5 февраля 2019 года .
  20. ^ «Список людей, связанных с лабораторией технологии блокчейн» . ed.ac.uk . Эдинбургский университет. 14 декабря 2018 . Проверено 5 февраля 2019 года .
  21. ^ Вадлер, Филипп (nd). "Домашняя страница Филипа Вадлера" . http://homepages.inf.ed.ac.uk . домашние страницы . Проверено 5 февраля 2019 года . Внешняя ссылка в |website=( помощь )
  22. ^ "Филип Вадлер" . scholar.google.co.uk . Google ученый. nd . Проверено 5 февраля 2019 года .
  23. Wall, Джереми (12 декабря 2018 г.). «IOHK запускает 2 новых инструмента для разработки смарт-контрактов» . Инвестируйте в блокчейн . Проверено 25 марта 2020 года .
  24. ^ Пейтон Джонс, SL ; Уодлер, П. (1993). «Императивное функциональное программирование». Материалы 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования - POPL '93 . п. 71. CiteSeerX 10.1.1.53.2504 . DOI : 10.1145 / 158511.158524 . ISBN  978-0897915601. S2CID  9751593 .

Внешние ссылки [ править ]

  • СМИ, связанные с Филипом Вадлером, на Викискладе?