Филип Вадлер - Philip Wadler

Фил Уодлер
Wadler2.JPG
Филип Вадлер перед лекцией в Эдинбургский университет.
Родился
Филип Ли Вадлер

(1956-04-08) 8 апреля 1956 г. (возраст 64 года)
Альма-матер
Награды
Научная карьера
ПоляЯзыки программирования[3]
Учреждения
ТезисВялость лучше лени: алгоритм, который преобразовывает аппликативные программы для исключения промежуточных списков  (1984)
ДокторантНико Хаберманн[4]
Докторанты
  • Эзра Купер[4]
  • Кей Дэвис[4]
  • Делесли Хатчинс[5]
  • Дэвид Р. Лестер[6][4]
  • Филип Триндер[4]
  • Джереми Яллоп[7]
Интернет сайт

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

Образование

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

Исследования и карьера

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

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

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

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

Награды и награды

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

использованная литература

  1. ^ а б Королевское общество Эдинбурга профиль
  2. ^ а б Страница стипендии ACM
  3. ^ а б Филип Вадлер публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  4. ^ а б c d е ж г Филип Вадлер на Проект "Математическая генеалогия"
  5. ^ а б Хатчинс, Делесли (2009). Системы чистых подтипов: теория типов для расширяемого программного обеспечения. ethos.bl.uk (Кандидатская диссертация). Эдинбургский университет. HDL:1842/3937. OCLC  781103005. открытый доступ
  6. ^ а б Лестер, Дэвид. (1988). Редукция комбинаторного графа: сравнение и его приложения. bodleian.ox.ac.uk (Докторская диссертация). Оксфордский университет. ISBN  9780902928558. OCLC  937098100.
  7. ^ а б Яллоп, Джереми (2010). Абстракция для веб-программирования. ethos.bl.uk (Кандидатская диссертация). Эдинбургский университет. HDL:1842/4683. OCLC  827264319. открытый доступ
  8. ^ «Филип Вадлер: Биография». O'Reilly Media. Получено 20 марта, 2017.
  9. ^ Худак, П .; Johnsson, T .; Kieburtz, D .; Нихил, Р .; Partain, W .; Peterson, J .; Пейтон Джонс, С.; Вадлер, П.; Бутель, Б .; Fairbairn, J .; Fasel, J .; Guzmán, M.A.M .; Hammond, K .; Хьюз, Дж. (1992). «Отчет по языку программирования Haskell». Уведомления ACM SIGPLAN. 27 (5): 1. Дои:10.1145/130697.130699. S2CID  15516611.
  10. ^ а б Вадлер, Филипп; Нафталин, Морис (2007). Дженерики и коллекции Java. Севастополь, Калифорния: О'Рейли. ISBN  978-0-596-52775-4.
  11. ^ Уодлер, П. (1989). «Теоремы бесплатно!». Материалы четвертой международной конференции по функциональным языкам программирования и архитектуре компьютера - FPCA '89. п. 347. Дои:10.1145/99370.99404. ISBN  978-0897913287. S2CID  5513047.
  12. ^ а б c "Филип Вадлер: резюме" (PDF). Homepages.inf.ed.ac.uk. Получено 20 марта, 2017.
  13. ^ Уодлер, Филип Ли (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. Эдинбургский университет. н.д.. Получено 5 февраля, 2019.
  20. ^ «Список людей, связанных с лабораторией технологии блокчейн». ed.ac.uk. Эдинбургский университет. 14 декабря 2018 г.. Получено 5 февраля, 2019.
  21. ^ Вадлер, Филип (н.д.). "Домашняя страница Филипа Вадлера". http://homepages.inf.ed.ac.uk. домашние страницы. Получено 5 февраля, 2019. Внешняя ссылка в | сайт = (Помогите)
  22. ^ "Филип Вадлер". scholar.google.co.uk. Google ученый. н.д.. Получено 5 февраля, 2019.
  23. ^ Уолл, Джереми (12 декабря 2018 г.). «IOHK запускает 2 новых инструмента для разработки смарт-контрактов». Инвестируйте в блокчейн. Получено 25 марта, 2020.
  24. ^ Пейтон Джонс, С.Л.; Вадлер, П. (1993). «Императивное функциональное программирование». Материалы 20-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования - POPL '93. п. 71. CiteSeerX  10.1.1.53.2504. Дои:10.1145/158511.158524. ISBN  978-0897915601. S2CID  9751593.

внешние ссылки