Дэвид Тернер (специалист по информатике)
British computer scientist (1946–2023)

Дэвид А. Тернер
Рожденный(1946-01-26)26 января 1946 г.
Баттерси , Лондон , Англия
Умер19 октября 2023 г. (2023-10-19)(77 лет)
Гражданствобританский
ОбразованиеДоктор философии , Оксфордский университет
ИзвестныйSASL , Кентский рекурсивный калькулятор , Миранда
Научная карьера
ПоляИнформатика
УчрежденияЛондонский университет королевы Марии
Техасский университет в Остине
Университет Кента в Кентербери
Университет Миддлсекс
Руководители докторской диссертацииКристофер Стрейчи и Дэна Скотт
Веб-сайтwww.cs.kent.ac.uk/people/staff/dat

Дэвид А. Тернер (26 января 1946 г. – 19 октября 2023 г.) был британским ученым-компьютерщиком. Он наиболее известен разработкой и реализацией трех языков программирования , включая первый для функционального программирования на основе ленивых вычислений , редукции комбинаторного графа и полиморфных типов : SASL (1972), Kent Recursive Calculator (KRC) (1981) и коммерчески поддерживаемый Miranda (1985).

Работа Тернера над Miranda оказала сильное влияние на более поздний Haskell . [1] Тернер впервые реализовал SASL с использованием абстрактной машины SECD , но затем переписал их в 1978 году с использованием комбинаторного исчисления SKI . [2] Этот подход использовался Томасом Джонссоном и Леннартом Аугустссоном при разработке g-машины [3] , которая впоследствии стала стандартным механизмом для ленивых вычислений в языках с вызовом по необходимости .

В 1981 году Тернер получил степень доктора философии (D.Phil.) в Оксфордском университете за диссертацию «Аспекты реализации языков программирования: компиляция прикладного языка для комбинаторной логики» под руководством Кристофера Стрейчи и Даны Скотт . [4] [5] [6] Он занимал профессорские должности в колледже королевы Марии в Лондоне , Техасском университете в Остине и Кентском университете в Кентербери, где он провел большую часть своей карьеры и сохранил звание почетного профессора вычислений.

Тернер принимал участие в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации по обработке информации (IFIP) Рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям, [7] которая специфицировала , обслуживала и поддерживала языки программирования ALGOL 60 и ALGOL 68. [ 8] Он также был членом Рабочей группы IFIP 2.8 по функциональному программированию, которая была связана с его созданием Miranda. [9]

Тернер был почетным профессором в Университете Кента и Университете Миддлсекса в Англии. [10] [11]

Родители Тернера были еврейскими иммигрантами во втором поколении, а сам Тернер был ярым сторонником равных прав для палестинцев . Он был исполнительным членом ICAHD UK [12] и часто выступал на эту тему. [13] Тернер умер 19 октября 2023 года в возрасте 77 лет. [4]

Публикации

  • Тернер, Дэвид А. Руководство по языку SASL. Технический референт CS/75/1. Кафедра вычислительной науки, Университет Сент-Эндрюс , 1975.
  • Тернер, ДА (1979). «Новый метод реализации для прикладных языков». Программное обеспечение: практика и опыт . 9 : 31– 49. doi :10.1002/spe.4380090105. S2CID  40541269.
  • Другой алгоритм абстракции скобок , Д.А. Тернер, Журнал символической логики, 44(2):267–270, 1979.
  • Функциональное программирование и его приложения , Д.А. Тернер, Cambridge University Press, 1982.
  • Генератор синтаксического анализатора для использования с Miranda , Симпозиум ACM по прикладным вычислениям, страницы 401–407, Филадельфия, США, февраль 1996 г.
  • Elementary Strong Functional Programming , DA Turner, в R. Plasmeijer, P. Hartel, eds, «First International Symposium on Functional Programming Languages ​​in Education», Lecture Notes in Computer Science , том 1022, страницы 1–13, Springer-Verlag , 1996.
  • Обеспечение потока потоков , Аластер Телфорд и Дэвид Тернер, в Джонсон, ред., «Алгебраическая методология и технология программного обеспечения», 6-я международная конференция, AMAST '97, Сидней, Австралия, декабрь 1997 г., Lecture Notes in Computer Science, том 1349, страницы 509–523. AMAST, Springer-Verlag, декабрь 1997 г.
  • Обеспечение производительности бесконечных структур , AJTelford, DATurner, «Технический отчет TR 14-97», 37 страниц, Вычислительная лаборатория, Университет Кента, март 1998 г. Находится на рассмотрении в «Журнале функционального программирования».
  • Обеспечение завершения в ESFP , А. Дж. Телфорд и Д. А. Тернер, в «15-м Британском коллоквиуме по теоретической информатике», стр. 14, Кил, апрель 1999 г. Опубликовано в «Журнале универсальной информатики».
  • Иерархия элементарных языков со свойствами сильной нормализации , AJTelford, DATurner, «Технический отчет TR 2-00», 66 страниц, Вычислительная лаборатория Кентского университета, январь 2000 г.
  • Общее функциональное программирование , Основной доклад, стр. 1–15, SBLP 2004, Рио-де-Жанейро, май 2004 г.
  • Тезис Чёрча и функциональное программирование , в изд. А. Ольшевского, «Тезис Чёрча спустя 70 лет», стр. 518-544, Ontos Verlag, 2006.

Ссылки

  1. ^ Хадак, Пол; Хьюз, Джон (2007). «История Haskell: ленивый с классом».
  2. ^ DA Turner (1979). «Новая техника реализации для аппликационных языков». Software: Practice and Experience . 9 : 31– 49. doi :10.1002/spe.4380090105.
  3. ^ Леннарт Аугустссон ; Томас Джонссон (ноябрь 1989). "Параллельная редукция графа с помощью (V, G)-машины". Труды четвертой международной конференции по языкам функционального программирования и архитектуре компьютеров - FPCA '89 . стр.  202–213 . doi :10.1145/99370.99386. ISBN 0-89791-328-0.
  4. ^ ab Сара Николас (24 ноября 2023 г.). «Некролог Дэвида Тернера». The Guardian .
  5. ^ Тернер, Дэвид. "Генеалогия". Домашняя страница Дэвида Тернера . Получено 28 ноября 2023 г.
  6. ^ "David A. Turner". Проект генеалогии математики . Получено 28 ноября 2023 г.
  7. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 14 октября 2020 г.
  8. ^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: IFIP21: Foswiki». Фосвики . Проверено 14 октября 2020 г.
  9. ^ Ральф Хинце (2016). «WG2.8 Функциональное программирование».
  10. ^ «Дэвид Тернер – изобретатель Миранды». lambda DAλS . 2017 . Получено 21 ноября 2023 .
  11. ^ "Дэвид Тернер – Дизайнер SASL, KRC и Miranda". CODE SYNC . 2020 . Получено 21 ноября 2023 .
  12. ^ «Принудительное перемещение на оккупированных палестинских территориях». Израильский комитет против сноса домов . 2018.
  13. ^ «Перспективы решения израильско-палестинского конфликта». Central London Humanists. 23 ноября 2017 г.
  • Официальный сайт , Университет Кента в Кентербери
  • Страница сотрудников Университета Миддлсекса, заархивированная на Archive.org
  • Функциональный язык программирования Miranda
Retrieved from "https://en.wikipedia.org/w/index.php?title=David_Turner_(computer_scientist)&oldid=1272354513"