Кіріспе
Британдық компьютер ғалымы (1946–2023)
Дэвид А. Тернер (26 қаңтар 1946 – 19 қазан 2023) – британдық компьютер ғалымы. Ол ең белгілісі үш бағдарламалау тілін жобалау және іске асыру арқылы танымал, соның ішінде жалқау есептеуге, комбинаторлық графиктерді қысқартуға және полиморфты типтерге негізделген функционалдық бағдарламалау үшін алғашқы тіл: SASL (1972), Kent Recursive Calculator (KRC) (1981) және коммерциялық қолдау алған Miranda (1985). Miranda кейінгі Haskell тіліне зор әсер етті. 1981 жылы Тернер Оксфорд университетінен «Программалау тілдерін іске асырудың кейбір аспектілері: қолданбалы тілді комбинаторлық логикаға компиляциялау» тақырыбындағы диссертациясы үшін философия докторы (D.Phil.) дәрежесін алды, оның жетекшілері Кристофер Страчи және Дана Скотт болды. Ол Лондонның Queen Mary колледжінде, Остин қаласындағы Техас университетінде және Кентерберидегі Кент университетінде профессор қызметін атқарды, сонда ол өмірінің көп бөлігін өткізіп, Есептеу профессоры атағын сақтап қалды. Тернер бағдарламалау және информатика саласындағы халықаралық стандарттарды әзірлеуге қатысты, Халықаралық ақпаратты өңдеу федерациясының (IFIP) 2.1-ші алгоритмдік тілдер және есептеулер жұмыс тобының мүшесі ретінде ALGOL 60 және ALGOL 68 бағдарламалау тілдерін анықтады, күтіп ұстады және қолдады. Ол сондай-ақ оның Miranda тібін жасауымен байланысты Функционалдық бағдарламалау жөніндегі IFIP 2.8 жұмыс тобының мүшесі болды. Тернер Англиядағы Кент және Миддлсекс университеттерінде профессор-эмеритус болды. Тернер 2023 жылдың 19 қазанында 77 жасында дүние салды.
Жарияланымдар
Тернер, Дэвид А. SASL тілінің нұсқаулығы. Техникалық есеп. CS/75/1. Есептеу ғылымдары кафедрасы, Сент-Эндрюс университеті, 1975. Бракеттерді абстракциялаудың басқа алгоритмі, Д. А. Тернер, Символикалық логика журналы, 44(2):267–270, 1979. Функционалдық бағдарламалау және оның қолданылуы, Д. А. Тернер, Кембридж университетінің баспасы, 1982. Мирандамен қолдануға арналған Parser Generator, Қолданбалы есептеулер жөніндегі ACM симпозиумы, 401–407 беттер, Филадельфия, АҚШ, 1996 жылғы ақпан. Elementary Strong Functional Programming, Д. А. Тернер, R. Plasmeijer, P. Hartel редакторларының, "Білім берудегі функционалдық бағдарламалау тілдері туралы бірінші халықаралық симпозиум", Компьютерлік ғылымдағы лекция жазбалары, 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 жылғы мамыр. Church's Thesis and Functional Programming, А. Олзевский редакторлығымен, "Church's Thesis after 70 years'", 518–544 беттер, Ontos Verlag, 2006.