Пейтон-Джонс, Саймон
Саймон Пейтон-Джонс (англ. Simon Peyton Jones; род. 18 января 1958, Саймонстаун, Кейптаун, Западно-Капская провинция, ЮАР) — британский учёный в области компьютерных наук, специалист по функциональным языкам программирования. Наиболее известен как один из создателей языка программирования Haskell и ведущий разработчик компилятора Glasgow Haskell Compiler (GHC). С 1998 по 2021 год работал исследователем в Microsoft Research, с 2021 года — в компании Epic Games[1]. Член Лондонского королевского общества, офицер ордена Британской империи[2].
Общие сведения
| Саймон Пейтон-Джонс | |
|---|---|
| англ. Simon Peyton Jones | |
| Имя при рождении | Simon Peyton Jones |
| Дата рождения | 18 января 1958 (68 лет) |
| Место рождения | |
| Страна | |
| Научная сфера | Функциональное программирование |
| Место работы |
Epic Games Университет Глазго Кембриджский университет |
| Образование | Тринити-колледж (Кембридж) |
| Учёное звание |
Член Королевского общества (2016) Член Европейской академии (2011) ACM Fellow (2004) |
| Ученики |
Эндрю Гилл Селеста Холленбек Шаян Найд |
| Известен как | один из создателей языка программирования Haskell и ведущий разработчик компилятора Glasgow Haskell Compiler |
| Награды и премии |
Офицер ордена Британской империи (2022) Почётный доктор Университета Глазго (2013) Почётный доктор Университета Кента (2017) Почётный доктор Университета Бата (2017) Почётный доктор Лондонского университета королевы Марии (2017) ACM SIGPLAN Programming Languages Achievement Award (2016) SIGPLAN Programming Languages Software Award (2011) |
| Сайт | simon.peytonjones.org |
Биография
Родился 18 января 1958 года в городе Саймонстаун в Южной Африке, в честь которого и получил своё имя. Его отец был военно-морским офицером, служившим в то время в Саймонстауне[3].
В 1979 году окончил Тринити-колледж Кембриджского университета со степенью бакалавра в области электротехники[3]. Годом позже, в 1980, завершил обучение, получив диплом в области компьютерных наук, который представлял собой годичную последипломную программу[3][4].
После двух лет работы в промышленности Пейтон-Джонс начал академическую карьеру[5]. Был лектором в Университетском колледже Лондона, а затем профессором в Университете Глазго. С 1998 по 2021 год работал исследователем в лаборатории Microsoft Research в Кембридже. В ноябре 2021 года перешёл в компанию Epic Games на должность инженера-исследователя, где занялся разработкой нового функционально-логического языка программирования Verse[6].
Параллельно с основной работой Пейтон-Джонс является почётным профессором в Университете Глазго и почётным научным сотрудником на факультете компьютерных наук и технологий Кембриджского университета. Возглавляет организацию Computing at School, которая занимается реформой преподавания информатики в школах Англии.
Научная деятельность
Основной вклад в информатику связан с развитием функциональных языков программирования, в первую очередь языка Haskell и компилятора Glasgow Haskell Compiler (GHC). Его исследовательская деятельность после 2004 года была сосредоточена на развитии систем типов, конкурентных вычислений и обобщённого программирования. Он стал соавтором ряда влиятельных научных работ, которые внесли значительный вклад в эту область.
Программная транзакционная память (STM)
В 2005 году в соавторстве с Тимом Харрисом, Саймоном Марлоу и Морисом Херлихи была опубликована статья «Composable memory transactions», в которой была представлена концепция программной транзакционной памяти (STM) для Haskell[7]. STM предложила альтернативу традиционным блокировкам для управления конкурентным доступом к разделяемым данным, ключевым преимуществом которой стала композиционность — возможность объединять небольшие транзакции в более крупные[8][9]. Эта работа легла в основу реализации STM в компиляторе GHC[10]. В 2007 году Пейтон-Джонс популяризировал эту идею в статье «Beautiful concurrency», опубликованной в книге «Beautiful Code»[11].
Обобщённые алгебраические типы данных (GADTs)
Пейтон-Джонс внёс вклад в интеграцию обобщённых алгебраических типов данных (GADTs) в Haskell. В статье 2006 года «Simple unification-based type inference for GADTs», написанной в соавторстве, был предложен новый, более простой алгоритм вывода типов, который позволил внедрить GADTs в GHC[12]. Позднее, в работе 2015 года «GADTs meet their match», был представлен улучшенный алгоритм анализа сопоставления с образцом, позволяющий компилятору выдавать более точные предупреждения о неполных или избыточных паттернах[13].
Семейства типов
В 2005 году в статье «Associated types with class» была предложена концепция ассоциированных типов как расширение системы классов типов в Haskell[14]. Это нововведение позволило классам типов содержать не только функции, но и типы, что значительно повысило выразительность обобщённого программирования[15].
Исторический обзор Haskell
В 2007 году Пейтон-Джонс совместно с Полом Худаком, Джоном Хьюзом и Филипом Уодлером опубликовал фундаментальную работу «A History of Haskell: being lazy with class». В статье подробно описывается история создания и эволюция языка, а также ключевые концепции, такие как ленивые вычисления, классы типов и монадический ввод-вывод[16].
Признание
Государственные награды и академические звания
- 2004 — Член Ассоциации вычислительной техники (ACM Fellow) — за вклад в функциональные языки программирования.
- 2011 — Член Европейской академии (MAE).
- 2016 — Член Лондонского королевского общества (FRS).
- 2017 — Заслуженный член Британского компьютерного общества (DFBCS).
- 2022 — Офицер ордена Британской империи (OBE) — за заслуги в области образования и компьютерных наук.
- 2022 — Заслуженный почётный научный сотрудник (англ. Distinguished Honorary Fellow) факультета компьютерных наук и технологий Кембриджского университета.
Почётные докторские степени
- 2013 — Почётный доктор наук (DSc), Университет Глазго.
- 2017 — Почётный доктор наук (DSc), Университет Кента.
- 2017 — Почётный доктор наук (DSc), Лондонский университет королевы Марии[17].
- 2017 — Почётный доктор образования (DEd), Университет Бата.
Премии профессиональных организаций
- 2011 — SIGPLAN Programming Languages Software Award (совместно с Саймоном Марлоу) — за работу над компилятором Glasgow Haskell Compiler.
- 2016 — ACM SIGPLAN Programming Languages Achievement Award.
Награды за самые влиятельные статьи (Most Influential Paper Award) от ACM SIGPLAN
- 2015 — за статью «Associated Type Synonyms» (2005).
- 2016 — за статью «Simple unification-based type inference for GADTs» (2006).
- 2019 — за статью «Runtime support for multicore Haskell» (2009).
- 2024 — за статью «Refinement Types for Haskell» (2014).
Избранная библиография
- Simon L. Peyton Jones. The Implementation of Functional Programming Languages. — Prentice-Hall, 1987. — 445 p. — (Prentice-hall International Series in Computer Science). — ISBN 978-0134533339.
- Simon L. Peyton Jones, David R. Lester. Implementing Functional Languages: A Tutorial. — Café Press, 2004. — 324 p.
- The Working Party Members including Professor Simon Peyton-Jones. Cybernauts Awake!: Ethical and Spiritual Implications of Computers, Information Technology and the Internet. — Church House Publishing, 1999. — 94 p. — ISBN 978-0715165867.
Примечания
Дополнительно по теме
 | ||||
|---|---|---|---|---|
