Питер Ландин: британдық компьютер ғалымының өмірі мен еңбектері

Кіріспе

Британдық компьютерлік ғалым (1930–2009)

Питер Джон Лэндин (5 маусым 1930 – 3 маусым 2009) – британдық компьютерлік ғалым. Ол lambda-есептеуін бағдарламалау тілін модельдеу үшін пайдалануға болатынын бірінші болып түсінгендердің бірі болды, бұл функционалдық бағдарламалау және денотациялық семантиканың дамуы үшін өте маңызды.

Академиялық

Лэндин Шеффилд қаласында дүниеге келді, ол Король Эдуард VII мектебінде оқыды; Клэр колледжін бітірді, Кембридж. Оның көптеген еңбектері осы кезеңде жарық көрді және ол Лондонның Королева Мэри университетінде қызмет атқарудан бұрын, Univac және АҚШ-тағы Массачусетс технология институтында қысқа уақыт жұмыс істеді. 1970 және 1980 жылдары оның күш-жігері Куин-Мэри колледжінде компьютерлік ғылымдар кафедрасын құруға, курстарды әзірлеуге және студенттерге оқытуға жұмсалды, бұл «Бастапқы қағидалардан бағдарламалау» оқулығына қосымшада баяндалған. Зейнеткерлікке шыққаннан кейін ол Лондонның Королева Мэри университетінде теориялық есептеулер бойынша құрметті профессор болып тағайындалды. 2012 жылы оның құрметіне компьютерлік ғылым ғимараты Питер Лэндин ғимараты деп аталды. 2001 жылы Лондонның Ғылым мұражайында өткен бағдарламалау семантикасы тарихына арналған семинарда ол компьютерлік ғылымдағы ғылыми мансабының 1950 жылдардың соңында қалай басталғанын және Джон Маккартидің Lisp тілін зерттеудің оған қаншалықты әсер еткенін айтты, осы кезде ең көп қолданылатын тіл Fortran болған. Ол ALGOL бағдарламалау тілін анықтауда белсенді қатысты. Ол 1959 жылғы қарашада Парижде өткен конференцияға және 1962 жылғы конференцияға қатысқандардың қатарында болды, ал Тони Хоар оны ALGOL 60-ты үйреткен адамдардың бірі ретінде атап, осылайша күшті рекурсивті алгоритмдерді білдіруге көмектескенін айтты: «1961 жылғы Пасха маңында Англияның Брайтон қаласында Пётр Наур, Эдсгер В. Дейкстра және Пётр Лэндин оқытушылар ретінде ALGOL 60 курсын ұсынды. Мен сол жерде алғаш рет рекурсивті процедуралар туралы білдім және бұрын түсіндіруге қиындық тудырған сұрыптау әдісін қалай бағдарламалау керектігін көрдім. Сол жерде мен QUICKSORT деп аталатын процедураны жаздым, ол менің компьютерлік ғылымдағы мансабымның негізі болды. ALGOL 60 тілін жасаған ғалымдардың рекурсияны тілге енгізгені және менің өнертабысымды әлемге сәнді түрде жеткізуге мүмкіндік бергені үшін оларға алғыс айтуым керек. Мен бағдарламалау тілінің ең жоғары мақсаты жақсы идеяларды сәнді түрде білдіруге мүмкіндік беру деп санаймын». Лэндин бағдарламалау және информатикадағы халықаралық стандарттармен айналысты, ол Халықаралық ақпаратты өңдеу федерациясының (IFIP) алгоритмдік тілдер және есептеулер жөніндегі IFIP жұмыс тобының 2.1 мүшесі болды, ол ALGOL 60 және ALGOL 68 бағдарламалау тілдерін нақтылады, ұстайды және қолдайды. Лэндин функционалдық бағдарламалау тілі үшін алғашқы абстрактілі машина – SECD машинасын ойлап табуға, ортаны басқаруға, құюға және ISWIM бағдарламалау тілін жасауға, Landin off side ережесін анықтауға және «синтаксистік қант» терминін енгізуге жауапты. Off side ережесі Miranda, Haskell, Python және F# (жеңіл синтаксисті пайдалану) сияқты тілдерде көрінгендей, бос орындарды пайдалану арқылы ауқымды шектеуді жариялауға мүмкіндік береді. Лэндиннің тағы бір сөз тіркесі – оның ықпалды «Келесі 700 бағдарламалау тілі» мақаласынан шыққан «The next 700». «700» саны таңдалды, өйткені Лэндин ACM журналында 700 бағдарламалау тілінің бар екенін оқыған. Мақала «Бүгінгі таңда 700-ден астам саланың «байланыс» үшін 1700 арнайы бағдарламалау тілін қолданатынымен» басталады. Сондай-ақ, зерттеу бағдарламасының алғашқы қадамы «x пен Чёрчтың λ белгісі арасындағы сәйкестік» деп аталатын 1700 докторлық диссертация болады, бұл оның бұрынғы жұмысына сілтеме. Оның көптеген еңбектерінде осы құрғақ юмор сезімі көрінеді.

Landin was born in Sheffield, where he attended King Edward VII School; he graduated from Clare College, Cambridge. Most of his work was published during this period and the brief time he worked for Univac and at the Massachusetts Institute of Technology in the United States, before taking a position at Queen Mary University of London. During the 1970s and 1980s, his efforts went into building the computer science department in Queen Mary College, developing courses, and teaching students, as set forth in the foreword to the textbook Programming from First Principles. On his retirement, he was appointed Emeritus Professor of Theoretical Computation at Queen Mary University of London, where in 2012, the computer science building was renamed the Peter Landin Building in his honour. At a workshop at the Science Museum, London, in 2001, on the history of programming semantics he spoke of how his scholarly career in computer science began in the late 1950s and of how he was much influenced by a study of John McCarthy's Lisp language when the most commonly used language was Fortran. He was active in the definition of the ALGOL programming language. He is listed among those who attended the November 1959 conference in Paris, and the 1962 conference, and cited by Tony Hoare as one of the people who taught him ALGOL 60 and hence facilitated his expression of powerful recursive algorithms:

"Around Easter 1961, a course on ALGOL 60 was offered in Brighton, England, with Peter Naur, Edsger W. Dijkstra, and Peter Landin as tutors. It was there that I first learned about recursive procedures and saw how to program the sorting method which I had earlier found such difficulty in explaining. It was there that I wrote the procedure, immodestly named QUICKSORT, on which my career as a computer scientist is founded. Due credit must be paid to the genius of the designers of ALGOL 60 who included recursion in their language and enabled me to describe my invention so elegantly to the world. I have regarded it as the highest goal of programming language design to enable good ideas to be elegantly expressed." Landin was involved with international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. Landin is responsible for inventing the stack, environment, control, dump SECD machine, the first abstract machine for a functional programming language, and the ISWIM programming language, defining the Landin off side rule and for coining the term syntactic sugar. The off side rule allows bounding scope declaration by use of white spaces as seen in languages such as Miranda, Haskell, Python, and F# (using the light syntax). Another phrase originating with Landin is "The next 700 " after his influential paper The next 700 programming languages. "700" was chosen because Landin had read in the Journal of the ACM that there were already 700 programming languages in existence. The paper opens with the quotation " today 1,700 special programming languages used to 'communicate' in over 700 application areas." It also includes the joke that
A possible first step in the research program is 1700 doctoral theses called "A Correspondence between x and Church's λ notation." a reference to his earlier paper. This dry sense of humour is expressed in many of his papers.

Мұра

Оксфордтағы Бодлей кітапханасында Питер Лэндинге қатысты материалдар сақталады. 2010 жылдан бері, Питер Лэндиннің естелігіне арналған және BCS FACS Компьютерлік ғылымның формальды аспектілері жөніндегі мамандар тобы ұйымдастырған «Питер Лэндин Семантикасы» семинары әр жылдың желтоқсан айында жыл сайын өткізіліп келеді. Алғашқы семинарды американдық компьютер ғалымы Джон К. Рейнольдс (1935–2013) жүргізді. Лондон Королева Мэри университетінде компьютерлік ғылымды оқыту және зерттеу үшін жабдықталған Питер Лэндин ғимараты бар.