Питер Ландин

Питер Ландин
Питер Ландин
Рожденный	Питер Джон Лэндин ; 5 июня 1930 г. ; Шеффилд , Западный райдинг Йоркшира , Англия
Умер	3 июня 2009 г. (78 лет)
Гражданство	Великобритания
Образование	Клэр - колледж Кембриджского университета
Известный	ISWIM , оператор J , машина SECD , правило офсайда , синтаксический сахар
	Научная карьера
Поля	Информатика , образование
Учреждения	Кристофер Стрейчи , консультант по компьютерам ; Унивак ; Массачусетский технологический институт ; Лондонский университет королевы Марии

Питер Джон Ландин (5 июня 1930 г. - 3 июня 2009 г.) ^[1]^[2]) был британским учёным-компьютерщиком . Он был одним из первых, кто осознал, что лямбда-исчисление можно использовать для моделирования языка программирования , и это понимание имеет важное значение для разработки как функционального программирования , так и денотационной семантики .

Академический [ править ]

Ландин родился в Шеффилде , где он посещал школу короля Эдуарда VII ; он окончил Клэр-колледж в Кембридже . ^[2] С 1960 по 1964 год он был ассистентом Кристофера Стрейчи , когда последний был независимым консультантом по компьютерам в Лондоне . ^[3] Большая часть его работ была опубликована в этот период, и некоторое время он работал в Univac и Массачусетском технологическом институте в США, прежде чем занять должность в Лондонском университете Королевы Марии . В 1970-х и 1980-х годах его усилия были направлены на создание факультета информатики в колледже Королевы Марии, разработку курсов и обучение студентов, как изложено в предисловии к учебнику «Программирование из первых принципов» . ^[4] После выхода на пенсию он был назначен почетным профессором теоретических вычислений в Лондонском университете королевы Марии , где в 2012 году здание информатики было переименовано в здание Питера Лэндина в его честь.

На семинаре в Музее науки в в Лондоне 2001 году, посвященном истории семантики программирования , он рассказал о том, как началась его научная карьера в области информатики в конце 1950-х годов, и о том, как на него сильно повлияло исследование Маккарти. Джона Lisp язык, когда наиболее часто используемым языком был Фортран . ^[5]

Он принимал активное участие в разработке языка программирования АЛГОЛ . Он числится среди тех, кто присутствовал на конференции в Париже в ноябре 1959 года . ^[6] и конференция 1962 года, ^[7]^[8] и цитируется Тони Хоаром как один из людей, которые научили его АЛГОЛУ 60 и, следовательно, помогли ему реализовать мощные рекурсивные алгоритмы:

курс по Алголу 60 был предложен «Примерно на Пасху 1961 года в Брайтоне , Англия, под руководством Питера Наура , Эдсгера В. Дейкстры и Питера Ландина. ... Именно там я впервые узнал о рекурсивных процедурах и увидел, как программировать. метод сортировки, который мне раньше было так трудно объяснить. Именно там я написал процедуру, нескромно названную QUICKSORT , на которой основана моя карьера ученого-компьютерщика. Надо отдать должное гению разработчиков АЛГОЛА. 60, которые включили рекурсию в свой язык и позволили мне так элегантно описать свое изобретение миру, что я считал высшей целью разработки языков программирования возможность элегантно выражать хорошие идеи». ^[9]

Лэндин занимался международными стандартами в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям. ^[10] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . ^[11]

Ландин ответственен за изобретение стека, среды, управления и дампа SECD-машины , первой абстрактной машины для функционального языка программирования . ^[12] и язык программирования ISWIM Ландина , определяющий правило офсайда и придумывающий термин «синтаксический сахар» . Правило off-side позволяет ограничивать объявление области с помощью пробелов, как это видно в таких языках, как Miranda , Haskell , Python и F# (с использованием облегченного синтаксиса).

Другая фраза, исходящая от Ландина, — «Следующие 700…» после его влиятельной статьи « Следующие 700 языков программирования » . ^[13] «700» было выбрано потому, что Ландин прочитал в журнале ACM , что уже существует 700 языков программирования. ^[14] Статья открывается цитатой: «...сегодня...1700 специальных языков программирования используются для «коммуникации» в более чем 700 прикладных областях». ^[15] Сюда также входит шутка о том, что

Возможным первым шагом в исследовательской программе является защита 1700 докторских диссертаций под названием «Соответствие между x и Чёрча λ-нотацией ».

ссылка на его более раннюю статью. ^[16] Это сухое чувство юмора выражено во многих его статьях.

Политический [ править ]

Ландин, который был бисексуалом, ^[2] стал участником Фронта освобождения геев (GLF) в начале 1970-х годов. Однажды его арестовали во время антиядерной демонстрации. ^[17]Он был заядлым велосипедистом и передвигался по Лондону на своем велосипеде, пока это не стало для него физически невозможным. ^{[ нужна ссылка ]}

Наследие [ править ]

Бодлианская библиотека в Оксфорде хранит архив материалов, касающихся Питера Ландина. ^[18] С 2010 года каждый декабрь в память о Питере Ландине проводится ежегодный семинар Питера Лэндина по семантике , организованный группой специалистов BCS-FACS по формальным аспектам вычислительной науки. ^[19] Первый семинар провел американский учёный-компьютерщик Джон Рейнольдс (1935–2013). ^[20] есть здание Питера Лэндина, В Лондонском университете Королевы Марии в котором размещаются учебные и исследовательские центры по информатике . ^[21]

Избранные публикации [ править ]

Ландин, Питер Дж. (1964). «Механическая оценка выражений» . Компьютерный журнал . 6 (4). Британское компьютерное общество : 308–320. дои : 10.1093/comjnl/6.4.308 .
Ландин, Питер Дж. (февраль 1965a). «Соответствие между АЛГОЛом 60 и лямбда-нотацией Чёрча: часть I» . Коммуникации АКМ . 8 (2). Ассоциация вычислительной техники : 89–101. дои : 10.1145/363744.363749 . S2CID 6505810 .
Ландин, Питер Дж. (март 1965b). «Соответствие между АЛГОЛом 60 и лямбда-нотацией Чёрча: часть II» . Коммуникации АКМ . 8 (3). Ассоциация вычислительной техники : 158–165. дои : 10.1145/363791.363804 . S2CID 15781851 .
Ландин, Питер Дж. (29 августа 1965c). «Обобщение переходов и меток». Исследование системного программирования UNIVAC (технический отчет) . Перепечатано в Ландин, Питер Дж. (декабрь 1998 г.). «Обобщение переходов и меток». Вычисления высшего порядка и символьные вычисления . 11 (2): 125–143. дои : 10.1023/А:1010068630801 . S2CID 5579841 .
Ландин, Питер Дж. (1966a). Стил, ТБ-младший (ред.). «Формальное описание Алгола 60». Языки формального описания языка для компьютерного программирования : 266–294.
Ландин, Питер Дж. (март 1966b). «Следующие 700 языков программирования» . Коммуникации АКМ . 9 (3). Ассоциация вычислительной техники : 157–166. дои : 10.1145/365230.365257 . S2CID 13409665 .

См. также [ править ]

оператор J

Примечания [ править ]

↑ Питер Ландин , Lambda the Ultimate , 4 июня 2009 г.
^ Jump up to: Перейти обратно: ^а ^б ^с Bornat 2009a
^ Хашаген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (5–7 апреля 2000 г.). История вычислений: проблемы программного обеспечения . Международная конференция по истории вычислительной техники, ICHC 2000, Музейный форум Хайнца Никсдорфа, Падерборн, Германия. Берлин: Springer (опубликовано 29 июня 2013 г.). ISBN 978-3-662-04954-9 . OCLC 861966658 .
^ Борнат, Ричард (1987). Программирование на основе первых принципов . Прентис Холл . ISBN 978-0-13-729104-5 .
^ Нумерико, Тереза; Боуэн, Джонатан П. (январь – март 2002 г.). «Верификация программы и семантика: ранние работы» . IEEE Анналы истории вычислений . 24 (1): 90–92. Архивировано из оригинала 26 сентября 2007 года.
^ «АБ8 декабрь 1959 года» . Декабрь 1959 года. Архивировано из оригинала 15 июня 2009 года.
^ Бэкус, JW ; Вегштейн, Дж. Х. ; ван Вейнгаарден, А .; Вуджер, М .; Наур, П. ; Бауэр, Флорида ; Грин, Дж.; Кац, К.; Маккарти, Дж .; Перлис, Эй Джей ; Рутисхаузер, Х .; Самельсон, К .; Вокуа, Б. (1 января 1963 г.). «Пересмотренный отчет об алгоритмическом языке Алгол 60» . масса: верк .
^ Landin 1964b,
^ Лекция на премию ACM Тьюринга: Старая одежда императора. К. Энтони Р. Хоар , 1980 г., опубликовано в журнале «Сообщения ACM» .
^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 10 сентября 2020 г.
^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 10 сентября 2020 г.
^ Диль, Стефан; Хартель, Питер; Сестофт, Питер (2000). «Абстрактные машины для реализации языков программирования». Компьютерные системы будущего поколения . Том. 16. С. 739–751.
^ Ландин 1966b
^ Личное общение, сентябрь 2007 г.
^ Проблемы компьютерного программного обеспечения, проспект Американской математической ассоциации, июль 1965 г.
^ Ландин 1965а
^ Ошибка Bornat 2009b
^ «Архив Питера Ландина, ученого-компьютерщика, академика и борца за права геев» . Бодлианские архивы и рукописи . Великобритания: Бодлианские библиотеки , Оксфордский университет . Проверено 3 августа 2022 г.
^ «Ежегодный семинар Питера Ландина по семантике BCS FACS» . БКС-ФАКС . BCS, Сертифицированный институт информационных технологий . 2012 . Проверено 4 декабря 2012 г.
^ «Ежегодный семинар Питера Ландина по семантике» . БКС-ФАКС . Лондон, Великобритания: BCS, Сертифицированный институт информационных технологий . 6 декабря 2010 г. Архивировано из оригинала 6 марта 2012 г.
^ «Здание Питера Ландина» . Великобритания: Лондонский университет Королевы Марии . Проверено 13 декабря 2022 г.

Источники [ править ]

Борнат, Ричард (23 сентября 2009 г.). «Некролог Питера Ландина» . The Guardian (изд. Некрологов). п. 34 . Проверено 29 сентября 2009 г.
Борнат, Ричард (17 сентября 2009 г.). «Питер Ландин: ученый-компьютерщик, вдохновивший целое поколение, 5 июня 1930 г. – 3 июня 2009 г.» (PDF) . Формальные аспекты вычислений . 21 (5). Берлин: Springer-Verlag : 393–395. дои : 10.1007/s00165-009-0122-y . ISSN 0934-5043 . S2CID 8870097 .

Внешние ссылки [ править ]

Питер Дж. Ландин на DBLP библиографическом сервере
Проверка программы и семантика: ранняя работа над Wayback Machine (архивировано 26 сентября 2007 г.), Общества охраны компьютеров семинар BCS, Музей науки , Лондон, Великобритания, 5 июня 2001 г.
Мемориальный доклад о жизни Ландена Оливье Данви на ICFP 2009
Выступление Питера Лэндина на конференции Program Verification and Semantics: The Early Work , 2001 (видео)

[1] Питер Ландин , Lambda the Ultimate , 4 июня 2009 г.

[guardian-obit-2] Jump up to: Перейти обратно: ^а ^б ^с Bornat 2009a

[3] Хашаген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (5–7 апреля 2000 г.). История вычислений: проблемы программного обеспечения . Международная конференция по истории вычислительной техники, ICHC 2000, Музейный форум Хайнца Никсдорфа, Падерборн, Германия. Берлин: Springer (опубликовано 29 июня 2013 г.). ISBN 978-3-662-04954-9 . OCLC 861966658 .

[4] Борнат, Ричард (1987). Программирование на основе первых принципов . Прентис Холл . ISBN 978-0-13-729104-5 .

[5] Нумерико, Тереза; Боуэн, Джонатан П. (январь – март 2002 г.). «Верификация программы и семантика: ранние работы» . IEEE Анналы истории вычислений . 24 (1): 90–92. Архивировано из оригинала 26 сентября 2007 года.

[6] «АБ8 декабрь 1959 года» . Декабрь 1959 года. Архивировано из оригинала 15 июня 2009 года.

[7] Бэкус, JW ; Вегштейн, Дж. Х. ; ван Вейнгаарден, А .; Вуджер, М .; Наур, П. ; Бауэр, Флорида ; Грин, Дж.; Кац, К.; Маккарти, Дж .; Перлис, Эй Джей ; Рутисхаузер, Х .; Самельсон, К .; Вокуа, Б. (1 января 1963 г.). «Пересмотренный отчет об алгоритмическом языке Алгол 60» . масса: верк .

[8] Landin 1964b,

[9] Лекция на премию ACM Тьюринга: Старая одежда императора. К. Энтони Р. Хоар , 1980 г., опубликовано в журнале «Сообщения ACM» .

[10] Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 10 сентября 2020 г.

[11] Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 10 сентября 2020 г.

[12] Диль, Стефан; Хартель, Питер; Сестофт, Питер (2000). «Абстрактные машины для реализации языков программирования». Компьютерные системы будущего поколения . Том. 16. С. 739–751.

[13] Ландин 1966b

[14] Личное общение, сентябрь 2007 г.

[15] Проблемы компьютерного программного обеспечения, проспект Американской математической ассоциации, июль 1965 г.

[16] Ландин 1965а

[17] Ошибка Bornat 2009b

[18] «Архив Питера Ландина, ученого-компьютерщика, академика и борца за права геев» . Бодлианские архивы и рукописи . Великобритания: Бодлианские библиотеки , Оксфордский университет . Проверено 3 августа 2022 г.

[19] «Ежегодный семинар Питера Ландина по семантике BCS FACS» . БКС-ФАКС . BCS, Сертифицированный институт информационных технологий . 2012 . Проверено 4 декабря 2012 г.

[20] «Ежегодный семинар Питера Ландина по семантике» . БКС-ФАКС . Лондон, Великобритания: BCS, Сертифицированный институт информационных технологий . 6 декабря 2010 г. Архивировано из оригинала 6 марта 2012 г.

[21] «Здание Питера Ландина» . Великобритания: Лондонский университет Королевы Марии . Проверено 13 декабря 2022 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]