Войти
| Питер Лэндин | |
|---|---|
 | |
| Родился | (1930-06 -05) 5 июня 1930 г.. Шеффилд, Западный райдинг Йоркшира, Англия |
| Умер | 3 июня 2009 г. (2009-06-03) (78 лет) |
| Гражданство | Соединенное Королевство |
| Образование | Колледж Клэр, Кембриджский университет |
| Известен как | ISWIM, оператор J, SECD machine, off-side rule, синтаксический сахар |
| Научная карьера | |
| Области | Информатика, образование |
| Учреждения | Кристофер Стрейчи, консультант по компьютерам. Univac. Массачусетский технологический институт. Лондонский университет Королевы Марии |
| Влияния | Джон Маккарти |
Питер Джон Лэндин (5 июня 1930 г. - 3 июня 2009 г.) был британским ученым-компьютерщиком. Он был одним из первых, кто понял, что лямбда-исчисление можно использовать для моделирования языка программирования, и это понимание важно для разработки как функционального программирования и денотационная семантика.
Ландин родился в Шеффилде, где он учился в школе короля Эдуарда VII ; окончил Клэр-колледж, Кембриджский университет. С 1960 по 1964 год он был помощником Кристофера Стрейчи, когда последний был независимым компьютерным консультантом в Лондоне. Большая часть его работ была опубликована в этот период, и короткое время он работал в Univac и в Массачусетском технологическом институте в США, прежде чем занять позицию в Queen Мэри из Лондонского университета. В течение 1970-х и 1980-х годов его усилия пошли на создание кафедры информатики в колледже Королевы Марии, разработку курсов и обучение студентов, как изложено в предисловии к учебнику «Программирование от первых принципов». После выхода на пенсию он был назначен почетным профессором теоретических вычислений в Лондонском университете королевы Марии, где в 2012 году здание информатики было переименовано в здание Питера Ландина в его честь.
На семинаре в Музее науки, Лондон в 2001 году по истории семантики программирования он рассказал о том, как его научная карьера в информатике начался в конце 1950-х годов и того, как на него сильно повлияло исследование языка Лисп Джона Маккарти, когда наиболее часто используемым языком был Фортран.
Он принимал активное участие в определении языка программирования АЛГОЛ. Он указан среди тех, кто посетил ноябрьскую конференцию 1959 года в Париже и конференцию 1962 года, и Тони Хоар цитирует его как одного из людей, которые научили его АЛГОЛу 60 и, следовательно, облегчил его выражение мощных рекурсивных алгоритмов:
«Примерно на Пасху 1961 года в Брайтоне, Англия, с Питером Науром был предложен курс АЛГОЛ 60 , Эдсгер В. Дейкстра и Питер Ландин в качестве наставников... Именно там я впервые узнал о рекурсивных процедурах и увидел, как программировать метод сортировки, в котором я раньше столкнулся с такими трудностями. объясняя. Именно там я написал процедуру с нескромным названием QUICKSORT, на которой основана моя карьера компьютерного ученого. Следует отдать должное гению разработчиков Алгола 60, которые включили рекурсию в их язык и позволил мне так элегантно описать свое изобретение миру. Я считал его высшей целью проектирования языков программирования, чтобы позволить goo d идеи, которые должны быть элегантно выражены ».
Он был связан с международными стандартами в программировании и информатике, будучи членом Международной федерации обработки информации (IFIP) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям, которая указала, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.
Ландин отвечает за изобретение стека, среды, управления, дампа SECD-машины, первой абстрактной машины для языка функционального программирования и ISWIM язык программирования, определяющий внешнее правило Ландина и вводящий термин синтаксический сахар. Внешнее правило позволяет ограничивать объявление области с использованием пробелов, как это видно в таких языках, как Miranda, Haskell, Python и F # (с использованием легкого синтаксиса).
Еще одна фраза Ландина - «Следующие 700...» после его влиятельной статьи «Следующие 700 языков программирования». «700» было выбрано, потому что Ландин прочитал в Журнале ACM, что уже существует 700 языков программирования. Документ открывается цитатой «... сегодня... 1700 специальных языков программирования, используемых для« общения »в более чем 700 прикладных областях». Он также включает в себя шутку о том, что
возможным первым шагом в исследовательской программе является 1700 докторских диссертаций под названием «Соответствие между x и Черчем λ-нотацией."
со ссылкой на его более раннюю работу. Это сухое чувство юмора выражено во многих его статьях.
Ландин, который был бисексуалом, во время своего правления стал членом Фронта освобождения геев (GLF). в начале 1970-х. Однажды он был арестован в ходе антиядерной демонстрации. Он был убежденным велосипедистом и передвигался по Лондону на своем велосипеде, пока это не стало для него физически невозможно.
