Введение
Дэвид А. Тернер (26 января 1946 – 19 октября 2023) – британский учёный в области компьютерных наук. Он наиболее известен разработкой и реализацией трёх языков программирования, включая первый язык для функционального программирования, основанный на ленивых вычислениях, редукции комбинаторных графов и полиморфных типах: SASL (1972), Kent Recursive Calculator (KRC) (1981) и коммерчески поддерживаемый Miranda (1985). Miranda оказала значительное влияние на последующий язык Haskell. В 1981 году Тернер получил степень доктора философии (D. Phil.) в Оксфордском университете за диссертацию «Аспекты реализации языков программирования: компиляция аппликативного языка в комбинаторную логику», под руководством Кристофера Страчи и Даны Скотта. Он занимал профессорские должности в Королевском колледже Лондона, Университете Техаса в Остине и Университете Кента в Кентербери, где провёл большую часть своей карьеры и сохранил статус профессора-эмерита в области вычислительной техники. Тернер участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации по обработке информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и исчислению, которая определяла, поддерживала и развивала языки программирования ALGOL 60 и ALGOL 68. Он также был членом Рабочей группы 2.8 IFIP по функциональному программированию, что было связано с его созданием Miranda. Тернер был профессором-эмеритом в Университете Кента и Университете Миддлсекса в Англии. Дэвид Тернер скончался 19 октября 2023 года в возрасте 77 лет.
David A. Turner (26 January 1946 – 19 October 2023) was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985). Miranda had a strong influence on the later Haskell. In 1981, Turner received the Doctor of Philosophy (D. Phil.) from the University of Oxford, for his dissertation "Aspects of the Implementation of Programming Languages: The Compilation of an Applicative Language to Combinatory Logic", supervised by Christopher Strachey and Dana Scott. He held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he spent most of his career and retained the title of Emeritus Professor of Computation. Turner was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. He was also a member of the IFIP Working Group 2.8 on Functional Programming, which related to his creation of Miranda. Turner was an emeritus professor at the University of Kent and Middlesex University in England. Turner died on 19 October 2023, at the age of 77.
Публикации
Тернер, Дэвид А. Руководство по языку SASL. Технический отчет. CS/75/1. Департамент вычислительной науки, Университет Сент-Эндрюса, 1975. Другой алгоритм абстракции скобок, Д. А. Тернер, Журнал символической логики, 44(2):267–270, 1979. Функциональное программирование и его приложения, Д. А. Тернер, Cambridge University Press, 1982. Генератор парсеров для использования с Miranda, Симпозиум ACM по прикладной информатике, страницы 401–407, Филадельфия, США, февраль 1996. Элементарное сильное функциональное программирование, Д. А. Тернер, в Р. Плазмейер, П. Хартель (ред.), "Первый международный симпозиум по функциональным языкам программирования в образовании", Лекции по информатике, том 1022, страницы 1–13, Springer Verlag, 1996. Обеспечение потоков данных, Аластер Телфорд и Дэвид Тернер, в Джонсон (ред.), "Алгебраическая методология и технологии программного обеспечения", 6-я международная конференция, AMAST '97, Сидней, Австралия, декабрь 1997, Лекции по информатике, том 1349, страницы 509–523. AMAST, Springer Verlag, декабрь 1997. Обеспечение производительности бесконечных структур, А. Дж. Телфорд, Д. А. Тернер, "Технический отчет TR 14 97", 37 страниц, Вычислительная лаборатория, Университет Кента, март 1998. На рассмотрении в "Журнале функционального программирования". Обеспечение завершения в ESFP, А. Дж. Телфорд и Д. А. Тернер, в материалах "15-го британского коллоквиума по теоретической информатике", страница 14, Кил, апрель 1999. Будет опубликовано в "Журнале универсальной компьютерной науки". Иерархия элементарных языков с сильными свойствами нормализации, А. Дж. Телфорд, Д. А. Тернер, "Технический отчет TR 2 00", 66 страниц, Вычислительная лаборатория Университета Кента, январь 2000. Общее функциональное программирование, Ключевой доклад, страницы 1–15, SBLP 2004, Рио-де-Жанейро, май 2004. Тезис Черча и функциональное программирование, в A. Olszewski (ред.), "Тезис Черча после 70 лет", страницы 518–544, Ontos Verlag, 2006.