Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Оператор J

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

  1. ↑ Питер Лэндин , Lambda the Ultimate , 4 июня 2009 г.
  2. ^ a b c Борнат 2009a
  3. ^ Хашаген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (5–7 апреля 2000 г.). История вычислительной техники: проблемы программного обеспечения . Международная конференция по истории вычислительной техники, ICHC 2000, Heinz Nixdorf MuseumsForum, Падерборн, Германия. Берлин: Springer (опубликовано 29 июня 2013 г.). ISBN 978-3-662-04954-9. OCLC  861966658 .
  4. ^ Борнат, Ричард (1987). Программирование из первых принципов . Прентис Холл . ISBN 978-0-13-729104-5.
  5. ^ «Проверка программы и семантика: отчет» . 2001. Архивировано из оригинального 26 сентября 2007 года . Проверено 27 июля 2014 года .
  6. ^ "AB8 декабрь 1959" . Декабрь 1959. Архивировано 15 июня 2009 года.
  7. ^ Backus, JW ; Wegstein, JH ; ван Вейнгаарден, А .; Вудгер, М .; Наур, П .; Бауэр, Флорида ; Green, J .; Katz, C .; Маккарти, Дж . ; Перлис, AJ ; Рутисхаузер, Х .; Самельсон, К .; Вокуа, Б. (1 января 1963 г.). «Пересмотренный отчет по алгоритмическому языку Алгола 60» . масса: верк .
  8. ^ Ландин 1964b
  9. ^ ACM Turing Award Лекция: Старая одежда Императора. К. Энтони Р. Хоар , 1980, опубликовано в сообщениях ACM .
  10. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Дата обращения 10 сентября 2020 .
  11. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Дата обращения 10 сентября 2020 .
  12. ^ Диль, Стефан; Хартель, Питер; Сестофт, Питер (2000). «Абстрактные машины для реализации языка программирования». Компьютерные системы будущего поколения . 16 . С. 739–751.
  13. ^ Ландин 1966
  14. ↑ Личное сообщение, сентябрь 2007 г.
  15. ^ Проблемы компьютерного программного обеспечения, проспект Американской математической ассоциации, июль 1965 г.
  16. ^ Landin 1965a
  17. ^ Bornat 2009b

Дальнейшее чтение [ править ]

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

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

  • Питер Дж. Лэндин на сервере библиографии DBLP
  • Список публикаций от Microsoft Academic
  • Верификация и семантика программы: ранняя работа с машиной обратного пути (архивировано 26 сентября 2007 г.),семинар Общества сохранения компьютеров BCS, Музей науки , Лондон, Великобритания, 5 июня 2001 г.
  • Мемориальный доклад Оливье Данви о жизни Ландена на ICFP 2009
  • Обсуждение Питера Ландин в в программе проверки и семантике: Ранние работы , 2001 (видео)