stringtranslate.com

Питер Ландин

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

Академический

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

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

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

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

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

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

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

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

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

Политический

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

Наследие

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

Избранные публикации

Смотрите также

Примечания

  1. ↑ Питер Ландин, Lambda the Ultimate , 4 июня 2009 г.
  2. ^ abc Борнат 2009a
  3. ^ Хашаген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (5–7 апреля 2000 г.). История вычислений: проблемы программного обеспечения . Международная конференция по истории вычислений, ICHC 2000, Heinz Nixdorf MuseumsForum, Падерборн, Германия. Берлин: Springer (опубликовано 29 июня 2013 г.). ISBN 978-3-662-04954-9. OCLC  861966658.
  4. ^ Борнат, Ричард (1987). Программирование с первых принципов . Prentice Hall . ISBN 978-0-13-729104-5.
  5. ^ Numerico, Teresa; Bowen, Jonathan P. (январь–март 2002 г.). «Проверка программ и семантика: ранние работы». IEEE Annals of the History of Computing . 24 (1): 90–92. Архивировано из оригинала 26 сентября 2007 г.
  6. ^ "AB8 December 1959". Декабрь 1959. Архивировано из оригинала 15 июня 2009.
  7. ^ Бэкус, JW ; Вегштейн, Дж. Х. ; ван Вейнгаарден, А .; Вуджер, М .; Наур, П. ; Бауэр, Флорида ; Грин, Дж.; Кац, К.; Маккарти, Дж .; Перлис, Эй Джей ; Рутисхаузер, Х .; Самельсон, К .; Вокуа, Б. (1 января 1963 г.). «Пересмотренный отчет об алгоритмическом языке Алгол 60». масса:верк .
  8. ^ Ландин 1966a
  9. ↑ Лекция по случаю вручения премии Тьюринга Американского колледжа математиков: Старые одежды императора. C. Anthony R. Hoare , 1980, опубликовано в Communications of the ACM .
  10. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 10 сентября 2020 г.
  11. ^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: IFIP21: Foswiki». Фосвики . Проверено 10 сентября 2020 г.
  12. ^ Диль, Стефан; Хартель, Питер; Сестофт, Питер (2000). «Абстрактные машины для реализации языка программирования». Future Generation Computer Systems . Том 16. С. 739–751.
  13. ^ Ландин 1966б
  14. ↑ Личное сообщение, сентябрь 2007 г.
  15. ↑ «Проблемы компьютерного программного обеспечения», проспект Американской математической ассоциации, июль 1965 г.
  16. ^ Ландин 1965a
  17. ^ Борнат 2009b
  18. ^ «Архив Питера Ландина, ученого-компьютерщика, ученого и борца за права геев». Bodleian Archives & Manuscripts . Великобритания: Bodleian Libraries , University of Oxford . Получено 3 августа 2022 г.
  19. ^ "BCS FACS Annual Peter Landin Semantics seminar". BCS-FACS . BCS, The Chartered Institute for IT . 2012 . Получено 4 декабря 2012 .
  20. ^ "Ежегодный семинар Питера Ландина по семантике". BCS-FACS . Лондон, Великобритания: BCS, The Chartered Institute for IT . 6 декабря 2010 г. Архивировано из оригинала 6 марта 2012 г.
  21. ^ "Peter Landin Building". Великобритания: Лондонский университет королевы Марии . Получено 13 декабря 2022 г.

Источники

Внешние ссылки