Поделки

Жизнь и достижения никлауса вирта. Вирт Н. Построение компиляторов Какой язык программирования придумал никлаус вирт

Поступил на факультет электроники Швейцарского федерального технологического института (ETH) в Цюрихе , где за четыре года получил степень бакалавра по электротехнике. Продолжил обучение в Лавальском университете (Квебек , Канада), в 1960 году получил степень магистра . Затем был приглашён в университет Калифорнии в Беркли (США), где в 1963 году , под руководством профессора Хаски, защитил диссертацию, темой которой стал язык программирования Эйлер (Euler) - расширение Алгола средствами языка Лисп .

Диссертация Вирта была замечена сообществом разработчиков языков программирования, и в том же 1963 году он был приглашён в Комитет по стандартизации Алгола IFIP (Международной федерации информатики), который разрабатывал новый стандарт языка Алгол, впоследствии ставший Алголом-68 . Вместе с Чарльзом Хоаром Вирт отстаивал в комитете линию на разработку умеренно модифицированной версии Алгола, свободной от недостатков исходного языка и дополненной минимумом действительно необходимых средств. Вирт и Хоар представили комитету язык Algol-W (W - от Wirth), представлявший собой именно такую переработку Алгола, но поддержки не встретили. По завершении работы комитета в 1968 году Вирт вошёл в число тех, кто критиковал Алгол-68, говоря о его недостаточной надёжности и чрезвычайной избыточности. Параллельно, с по годы Вирт работал ассистентом в Стэнфордском университете , США . Вместе с Джимом Уэльсом разработал и реализовал язык PL/360, предназначеннвый для программирования на платформе IBM/360 - алголоподобный язык, в который был введён ряд системно-зависимых возможностей, связанных с архитектурой IBM/360.

Премии и награды

IEEE Emanuel Piore Award (1983)
ACM Turing Award (Премия Тьюринга) (1984)
ACM Award for Outstanding Contributions to Computer Science Education (1987, 1989)
IEEE Computer Pioneer (1988)
Prix Max Petitpierre (1989)
IBM Europe Science and Technology Prize (1989)
Marcel Benoit Prize (1990)
Orden Pour le Merite (1996)
Leonardo da Vinci Medal (1999)
ACM Outstanding Research Award in Software Engineering (1999).

Достижения

Вирт разработал или участвовал в разработке языков программирования: Euler, Algol-W, PL/360, Pascal, Modula, Modula-2, Oberon, Oberon-2, Component Pascal. Наиболее известная его разработка, безусловно - язык программирования Паскаль, оказавший огромное влияние на несколько поколений программистов и ставший базой для создания большого числа языков программирования. Ещё одна фундаментальная работа, участником которой стал Вирт - разработка технологии структурного программирования , ставшая в программировании, безусловно, самой сильной формализацией как минимум 1970-х - 1980-х годов. Эта технология разработана, обоснована и внедрена в жизнь всего тремя выдающимися людьми - Виртом, Дейкстрой и Хоаром.

Комментаторы не раз отмечали, что идеи Вирта зачастую опережали развитие компьютерной индустрии на годы, иногда - на десятилетия. Разработанная в начале 1970-х система Pascal-P, предполагающая компиляцию программ на Паскале в универсальный «пи-код» и реализацию на любой платформе интерпретатора пи-кода (одна из известных её реализаций - UCSD-Pascal Университета Сан-Диего), которая позволяла с минимальными затратами переносить Паскаль-системы на новые аппаратные платформы, более чем на два десятилетия опередила идеи интерпретатора промежуточного кода, реализованные в системах, поддерживающих исполнение программ на языке.NET. Идея совмещения системы программирования со сборщиком мусора, освобождающим программиста от необходимости отслеживать время жизни объектов, динамически размещённых в памяти, была реализована в 1988 году в языке и операционной системе Оберон. Обе эти идеи были использованы (и широко разрекламированы как абсолютно новое слово в технологии и небывалое достижение!) американскими разработчиками тех же Java и.NET во второй половине 1990-х годов.

Научные принципы

Возможно, одним из наиболее точных выражений принципов, которых придерживается Вирт в разработке всех своих проектов, является фраза Эйнштейна, вынесенная в эпиграф к «Сообщению о языке Оберон»: «Делай просто, насколько возможно, но не проще этого». Во всех его работах прослеживается изначальная ориентированность на реализацию наиболее эффективного решения конкретной инженерной задачи на базе гарантированно работающего, математически обоснованного инструментария. Вирт твёрдо стоит на том, что программирование должно быть нормальной инженерной дисциплиной, гарантирующей достаточный уровень надёжности своих разработок. Достижение же надёжности возможно, по Вирту, только одним способом: максимально возможным упрощением и самих систем, и инструментов, которые используются для их создания. В соответствии с этим принципом языки и системы программирования, разрабатываемые Виртом, всегда были образцом «разумной достаточности», даже своего рода аскетичности - в них предусматривалось только то, без чего нельзя обойтись.

Даже расширение существующих языков и систем всегда сопровождалось упрощением. По подсчётам, опубликованным в статье Сергея Свердлова «Арифметика синтаксиса» , «линия Вирта», как он её назвал - линейка языков, включающая Паскаль, Модулу-2, Оберон и Оберон2 - это единственный пример «генетической линии» языков-потомков Алгола-60, в которой сложность языка, определённая как количество лексем в его описании, стабильно снижалась и в настоящее время оказывается ниже, чем у общего «прародителя» - Алгола-60. Все языки «линии Вирта» проще Алгола-60, и каждый следующий язык в этой линии проще предыдущего. В то же время Ада более чем вдвое сложнее своего предшественника - Паскаля, C++ приблизительно в 1,7 раза сложнее Си, а в линейке Паскаль - Турбо Паскаль разных версий - Object Pascal сложность экспоненциально растёт от версии к версии.

Вирт часто критикует «американский подход» к разработке средств программирования, в котором маркетинговые соображения превалируют над требованиями математической стройности и гарантированной надёжности, и каждое новое модное поветрие сопровождается некритичным внесением в языки программирования новых синтаксических элементов. Это приводит к неправильной оценке роли некоторых идей и, в конечном итоге, к неправильной расстановке приоритетов в разработке ПО. В частности, говоря об ООП , Вирт неоднократно отмечал, что оно является достаточно тривиальным расширением того же структурного подхода, сдобренным новой терминологией, и вряд ли может претендовать на звание «революционной методологии программирования». Известно ехидное замечание Вирта по поводу привычки американцев к антропоцентризму в терминологии: «Они называют расширение типа „наследованием“, но, вообще-то, наследство обычно переходит к потомку только тогда, когда предок умирает».

Книги

Изданы на русском языке:

Систематическое программирование. Введение. М.: Мир, 1977;
Паскаль. Руководство для пользователя и описание языка. М.: Финансы и статистика, 1982 (в соавторстве с К. Иенсен);
Алгоритмы + структуры данных = программы. М.: Мир, 1985;
Программирование на языке Модула-2. М.: Мир, 1987;
Алгоритмы и структуры данных. М.:Мир, 1989. ISBN 5-03-001045-9 (версия книги на языке Модула-2)
Алгоритмы и структуры данных. СПб.: Невский диалект. 2001.

Книга Вирта «Алгоритмы + структуры данных = программы» издавалась на русском языке несколько раз в разных вариантах и считается первым из трёх классических учебников по структурному программированию .

В настоящее время вся классическая трилогия Вирта переведена его учениками на язык Оберон и доступна для скачивания из Сети в виде

Примечания

Ссылки

Перевод статьи Н.Вирта «Хорошие идеи: взгляд из Зазеркалья»

Разработка программного обеспечения
Шаги процесса	Анализ требований Проектирование программного обеспечения Программирование Формальные методы Тестирование программного обеспечения Внедрение программного обеспечения Сопровождение программного обеспечения
Концепции	Моделирование данных Functional specification Язык моделирования Парадигма программирования Программное обеспечение Архитектура программного обеспечения Методология разработки программного обеспечения Качество программного обеспечения Обеспечение качества программного обеспечения Структурный анализ программного обеспечения
Направления	Гибкая методология разработки Аспектно-ориентированное программирование Объектно-ориентированное программирование Проблемно-ориентированное программирование Онтология Сервисно-ориентированная архитектура Цикл разработки программного обеспечения
Модели	Модели разработки : Гибкая методология разработки Cleanroom Итеративная разработка RUP Scrum MSF Спиральная модель Модель водопада Модель данных Function model UML
Выдающиеся деятели	Kent Beck Гради Буч Фред Брукс Barry Boehm Уорд Каннингем Оле-Йохан Даль Tom DeMarco Эдсгер Вибе Дейкстра Дональд Кнут Мартин Фаулер Чарльз Энтони Ричард Хоар Watts Humphrey Michael A. Jackson Ivar Jacobson Craig Larman James Martin Bertrand Meyer David Parnas Winston W. Royce James Rumbaugh Никлаус Вирт Эдвард Йордан
Связанные статьи	Информатика Компьютерная инженерия Организационная инженерия История разработки ПО

15 февраля исполняется 80 лет выдающемуся швейцарскому учёному и инженеру - Никлаусу Вирту (Niklaus Wirth), лауреату премии Тьюринга - самой престижной премии в компьютерных науках, аналога Нобелевки.

Знаменитый профессор Высшей политехнической школы ETH из Цюриха, где учились Альберт Эйнштейн (1896) и Джон фон Нейман (1923).

Его знают как автора классического Паскаля (1970), но многие даже понятия не имеют, что было десятилетиями позже. Что его разработки во многом инициировали создание Java и C#. Что нынешние космические спутники, новейшие беспилотники и безупречные по качеству швейцарские железные дороги работают благодаря его блестящей инженерной мысли.

Именно он всей своей жизнью показал путь борьбы с надуманной сложностью, которая не только окружает нас повсеместно, но и стала уже смертельно опасной болезнью нынешней цивилизации.

Наша эпоха - время диктатуры воинствующих дилетантов. И в программировании классика тоже уступает арену коммерчески изуродованной индустриальной «попсе».

Истинное величие И.С.Баха человечество благодаря Феликсу Мендельсону оценило спустя почти сто лет после его смерти. Надеюсь, мудрого профессора Никлауса Вирта - компьютерного Баха - люди оценят по достоинству всё же немного раньше.

Юбилей Никлауса Вирта - очень хорошая проверка на компетентность не только российских СМИ, но и мировых.

Руслан Богатырёв . 15.02.2014, Москва

Профессор Никлаус Вирт (Niklaus K. Wirth), автор языка Паскаль, закончил Швейцарский федеральный технологический институт ETH (Eidgenoessische Technische Hochschule) в родном Цюрихе (1958). В Лавальском университете в Квебеке (Канада) он получил степень магистра (1960). В 1963 г. в Университете Калифорнии в Беркли (США) Вирт под руководством профессора Гарри Хаски реализовал расширение Алгола-60 (язык Euler) и защитил диссертацию. В 1963–1967 гг. Вирт преподавал в Стенфордском университете (США). В это же время он был приглашен в международную экспертную группу IFIP Working Group 2.1, занимавшуюся проектированием языка Алгол-68.

В 1967 г. Вирт вернулся на родину и стал доцентом Университета Цюриха. В 1968 г. он перешел в ETH Zurich, где занялся разработкой языка Паскаль. В 1970 г. был завершен первый компилятор Паскаля. В период 1978–1981 гг. Вирт возглавлял проект, в результате которого был разработан язык Модула-2, ориентированный на него 16-разрядный персональный компьютер Лилит (Lilith) и ОС Medos. Все ПО, включая системное, было полностью реализовано на Модуле-2. В 1984 г. Никлаус Вирт за большой вклад в развитие языков программирования и за создание персонального компьютера Лилит был удостоен премии Алана Тьюринга (The ACM A.M.Turing Award) – самой престижной и почётной в компьютерном мире, которая по своему значению стоит в одном ряду с Нобелевской премией.

В период 1986–1989 гг. Вирт вёл проект по созданию нового языка Oberon, расширяемой объектно-ориентированной ОС Oberon и 32-разрядной рабочей станции Ceres. Многие идеи того проекта были положены сотрудниками Sun Labs в основу языка и технологии Java.

С 1990 г. профессор Вирт руководил Институтом компьютерных систем при ETH Zurich. В 1999 г. он ушёл на заслуженный отдых и стал почётным профессором родного ETH Zurich.

Рекомендуемые материалы
1. (PDF, 2004)
2. Никлаус Вирт в Академгородке (2009)
3. Преподавание информатики: потерянная дорога (2002)
4. Kronos (история одного проекта) (2005-2014)
5. Проект Oberon2005 (Большое турне Вирта по России) (2005)
6. Легендарный профессор Вирт на полигоне НПКЦ «Новик-XXI век» (2005)
7. Хорошие идеи: взгляд из Зазеркалья (2006)
8. Никлаус Вирт: путь к истине (2014)
9. Держаться корней (к 80-летию Никлауса Вирта) (2014)

Видеоинтервью
1. Niklaus Wirth on Teaching Computer Science. IEEE Computer Society, 2012.

2. Google Tech Talk, 2009.

3. Interview with Niklaus Wirth, 2010. Часть 1/3

4. Interview with Niklaus Wirth, 2010. Часть 2/3

5. Interview with Niklaus Wirth, 2010. Часть 3/3

Материал из Википедии - свободной энциклопедии

(нем. Niklaus Wirth, род. 15 февраля 1934) - швейцарский учёный, специалист в области информатики, один из известнейших теоретиков в области разработки языков программирования, профессор компьютерных наук (ETH), Лауреат премии Тьюринга 1984 года. Ведущий разработчик языков Паскаль, Модула-2, Оберон.

Биография

Никлаус Вирт родился 15 февраля 1934 года в Винтертуре, в предместье Цюриха (Швейцария). Родители - Уолтер и Хедвиг Вирт. Отец Никлауса был школьным учителем.

В детстве Никлаус Вирт увлекался авиамоделизмом и постройкой ракет, увлечение электроникой и системами программного управления началось с разработки устройств дистанционного управления для моделей. В 1954 году поступил на факультет электроники Швейцарского федерального технологического института (ETH) в Цюрихе, где за четыре года получил степень бакалавра по электротехнике. Продолжил обучение в Лавальском университете (Квебек, Канада), в 1960 году получил степень магистра. Затем был приглашён в университет Калифорнии в Беркли (США), где в 1963 году, под руководством профессора Хаски, защитил диссертацию, темой которой стал язык программирования Эйлер (Euler) - расширение Алгола средствами языка Лисп.

Диссертация Вирта была замечена сообществом разработчиков языков программирования, и в том же 1963 году он был приглашён в Комитет по стандартизации Алгола IFIP (Международной федерации информатики), который разрабатывал новый стандарт языка Алгол, впоследствии ставший Алголом-68. Вместе с Чарльзом Хоаром Вирт отстаивал в комитете линию на разработку умеренно модифицированной версии Алгола, свободной от недостатков исходного языка и дополненной минимумом действительно необходимых средств. Вирт и Хоар представили комитету язык Algol-W (W - от Wirth), представлявший собой именно такую переработку Алгола, но поддержки не встретили. По завершении работы комитета в 1968 году Вирт вошёл в число тех, кто критиковал Алгол-68, говоря о его недостаточной надёжности и чрезвычайной избыточности. Параллельно, с 1963 по 1967 годы Вирт работал ассистентом в Стэнфордском университете, США. Вместе с Джимом Уэльсом разработал и реализовал язык PL/360, предназначенный для программирования на платформе IBM/360 - алголоподобный язык, в который был введён ряд системно-зависимых возможностей, связанных с архитектурой IBM/360.

В 1967 году вернулся в звании доцента в университет Цюриха, в 1968 году получил в ETH звание профессора компьютерных наук. В течение 31 года работал в ETH. Много занимался организационной деятельностью, совершенствуя систему обучения своего университета.

В 1970 году создал язык программирования Паскаль. В 1970-х годах разработал, вместе с Ч. Хоаром и Э. Дейкстрой технологию структурного программирования. Вышедшая в 1971 году статья Вирта «Разработка программы методом пошагового уточнения» описала и обосновала ставшую впоследствии классической методологию разработки программного обеспечения «сверху вниз». Для переноса Паскаль-системы на различные вычислительные платформы в 1973 году с участием Вирта был разработан прототип виртуальной машины, исполняющей на любой платформе промежуточный «пи-код», в который предполагалось компилировать все программы.

В 1975 году разработал язык Модула, в котором реализовал идеи разработки модульных программ с хорошо определёнными межмодульными интерфейсами и параллельного программирования. Кроме того, в Модуле был изменён синтаксис языка - Вирт избавился от унаследованной ещё от Алгола-60 необходимости применять составные операторы в конструкциях ветвления и циклах. Модула не была широко известна и имела всего одну экспериментальную реализацию, но её доработанная версия - Модула-2, разработка которой началась в 1977 и закончилась в 1980 году, предназначенная для реализации системного ПО разрабатываемой в ETH системы Lilith - 16-разрядного персонального компьютера, стала известна и довольно популярна, хотя и не превзошла по популярности Паскаль[источник не указан 1091 день], особенно его коммерческие реализации. Система Lilith обогнала тенденции компьютерной индустрии на несколько лет, позднее Вирт с сожалением говорил, что, не реализовав потенциал этой системы, швейцарская компьютерная индустрия упустила свой исторический шанс. Развитием Модулы-2 стал язык Модула-3, разработанный совместно фирмами DEC и Olivetti; в его создании Вирт участия не принимал.

Во второй половине 1970-х Вирт участвовал в конкурсе министерства обороны США на разработку нового языка для программирования встроенных систем, в результате которого был создан язык Ада. Повторилась история с Алголом-68 - проект группы, в которой работали Вирт и Хоар, не был одобрен комитетом по языку. В итоге конкурс выиграл проект, основанный на Паскале, но гораздо более сложный и объёмный.

С 1982 по 1984 и с 1988 по 1990 годы Вирт возглавлял факультет компьютерных наук ETH, с 1990 года - Институт компьютерных систем при ETH.

В 1988 году в содружестве с Юргом Гуткнехтом (Jurg Gutknecht) Вирт разработал язык программирования Оберон. Целью разработки было создание языка для реализации системного ПО проектируемой новой рабочей станции. Основой для Оберона стала Модула-2, которую существенно упростили, но при этом дополнили новыми возможностями.

В 1992 году Вирт и Мёссенбёк выпустили сообщение о новом языке программирования - Оберон-2, - минимально расширенной версии Оберона. В этом же году была образована дочерняя компания ETH - Oberon microsystems, которая занялась разработкой систем Оберон. Вирт стал одним из членов её совета директоров. В 1999 году эта компания выпустила следующую версию Оберона - Component Pascal, более приспособленную для компонентного программирования. В 1996 году Вирт разработал ещё один оригинальный язык программирования - Lola, простой обучающий язык для формального описания и симуляции цифровых электрических схем.

1 апреля 1999 года Вирт вышел на пенсию, достигнув предельного для государственного служащего в Швейцарии возраста 65 лет (ETH - государственный ВУЗ, его работники являются госслужащими и их работа подчиняется соответствующему законодательству).

19 июня 2007 года Постановлением Президиума Российской академии наук №141 Вирту было присуждена ученая степень доктора honoris causa (по представлению Отделения информационных технологий и вычислительных систем). Инициатором представления был российский ученый в области IT-технологий Игорь Шагаев, профессор Лондонского Университета Метрополитен, которого с Никлаусом Виртом связывает совместная работа в 2005-2008 годах над европейским проектом ONBASS.

Член национальных академий: Swiss Academy of Engineering (Швейцария), U.S. Academy of Engineering (США), Berlin-Brandenburg Academy (Германия).
[править] Премии и награды
IEEE Emanuel Piore Award (1983)
ACM Turing Award (Премия Тьюринга) (1984)
ACM Award for Outstanding Contributions to Computer Science Education (1987, 1989)
IEEE Computer Pioneer (1988)
Prix Max Petitpierre (1989)
IBM Europe Science and Technology Prize (1989)
Marcel Benoit Prize (1990)
Orden Pour le Merite (1996)
Leonardo da Vinci Medal (1999)
ACM Outstanding Research Award in Software Engineering (1999).

Достижения

Вирт разработал или участвовал в разработке языков программирования: Euler, Algol-W, PL/360, Pascal, Modula-2, Oberon, Oberon-2, Component Pascal. Наиболее известная его разработка, безусловно - язык программирования Паскаль, оказавший огромное влияние на несколько поколений программистов и ставший базой для создания большого числа языков программирования. Ещё одна фундаментальная работа, участником которой стал Вирт - разработка технологии структурного программирования, ставшая в программировании, безусловно, самой сильной формализацией как минимум 1970-х - 1980-х годов. Эта технология разработана, обоснована и внедрена в жизнь всего тремя выдающимися людьми - Виртом, Дейкстрой и Хоаром.

Комментаторы не раз отмечали, что идеи Вирта зачастую опережали развитие компьютерной индустрии на годы, иногда - на десятилетия. Разработанная в начале 1970-х система Pascal-P, предполагающая компиляцию программ на Паскале в универсальный «пи-код» и реализацию на любой платформе интерпретатора пи-кода (одна из известных её реализаций - UCSD-Pascal Университета Сан-Диего), которая позволяла с минимальными затратами переносить Паскаль-системы на новые аппаратные платформы, более чем на два десятилетия опередила идеи интерпретатора промежуточного кода, реализованные в системах, поддерживающих исполнение программ на языке Java и в платформе.NET. Идея совмещения системы программирования со сборщиком мусора, освобождающим программиста от необходимости отслеживать время жизни объектов, динамически размещённых в памяти, была реализована в 1988 году в языке и операционной системе Оберон. Обе эти идеи были использованы разработчиками Java и.NET во второй половине 1990-х годов.
[править] Научные принципы

Даже расширение существующих языков и систем всегда сопровождалось упрощением. По подсчётам, опубликованным в статье Сергея Свердлова «Арифметика синтаксиса», «линия Вирта», как он её назвал - линейка языков, включающая Паскаль, Модулу-2, Оберон и Оберон2 - это единственный пример «генетической линии» языков-потомков Алгола-60, в которой сложность языка, определённая как количество лексем в его описании, стабильно снижалась и в настоящее время оказывается ниже, чем у общего «прародителя» - Алгола-60. Все языки «линии Вирта» проще Алгола-60, и каждый следующий язык в этой линии проще предыдущего. В то же время Ада более чем вдвое сложнее своего предшественника - Паскаля, C++ приблизительно в 1,7 раза сложнее Си, а в линейке Паскаль - Турбо Паскаль разных версий - Object Pascal сложность постоянно растёт от версии к версии.

Вирт часто критикует «американский подход» к разработке средств программирования, в котором маркетинговые соображения превалируют над требованиями математической стройности и гарантированной надёжности, и каждое новое модное поветрие сопровождается некритичным внесением в языки программирования новых синтаксических элементов. Это приводит к неправильной оценке роли некоторых идей и, в конечном итоге, к неправильной расстановке приоритетов в разработке ПО. В частности, говоря об ООП, Вирт неоднократно отмечал, что оно является достаточно тривиальным расширением того же структурного подхода, сдобренным новой терминологией, и вряд ли может претендовать на звание «революционной методологии программирования». Известно ехидное замечание Вирта по поводу привычки американцев к антропоцентризму в терминологии: «Они называют расширение типа „наследованием“, но, вообще-то, наследство обычно переходит к потомку только тогда, когда предок умирает».

Ещё один принцип, которым всегда руководствовался Вирт, можно сформулировать так: «Инструмент должен соответствовать задаче. Если инструмент не соответствует задаче, нужно придумать новый, который бы ей соответствовал, а не пытаться приспособить уже имеющийся». Он не приветствует разработку «языков, универсальных вообще». Каждая разработанная Виртом система имела чётко сформулированное назначение, область применения, и он всегда без колебаний исключал из разработки всё, что не было нужно для данного конкретного назначения. Здесь, однако, нужно уточнить: в «конкретное назначение», например, Оберона входит обеспечение предельно лёгкой и безопасной расширяемости системы, поэтому, не являясь языком «универсальным вообще», то есть не включая всех возможных средств для всех вообразимых применений, Оберон всё-таки является универсальным - «универсальным через расширяемость».

Никлаус Вирт (нем. Niklaus Wirth, род. 15 февраля 1934) - швейцарский учёный, специалист в области информатики, один из известнейших теоретиков в области разработки языков программирования. Ведущий разработчик языков Паскаль, Модула-2, Оберон, профессор компьютерных наук (ETH), Лауреат премии Тьюринга 1984 года.

Никогда программы не содержат так мало ошибок, как при отсутствии каких-либо средств отладки.

Вирт Никлаус

Продолжил обучение в Лавальском университете (Квебек, Канада), в 1960 году получил степень магистра. Затем был приглашён в университет Калифорнии в Беркли (США), где в 1963 году, под руководством профессора Хаски, защитил диссертацию, темой которой стал язык программирования Эйлер (Euler) - расширение Алгола средствами языка Лисп.

Вместе с Чарльзом Хоаром Вирт отстаивал в комитете линию на разработку умеренно модифицированной версии Алгола, свободной от недостатков исходного языка и дополненной минимумом действительно необходимых средств. Вирт и Хоар представили комитету язык Algol-W (W - от Wirth), представлявший собой именно такую переработку Алгола, но поддержки не встретили.

По завершении работы комитета в 1968 году Вирт вошёл в число тех, кто критиковал Алгол-68, говоря о его недостаточной надёжности и чрезвычайной избыточности. Параллельно, с 1963 по 1967 годы Вирт работал ассистентом в Стэнфордском университете, США.

Вместе с Джимом Уэльсом разработал и реализовал язык PL/360, предназначенный для программирования на платформе IBM/360 - алголоподобный язык, в который был введён ряд системно-зависимых возможностей, связанных с архитектурой IBM/360.

Для переноса Паскаль-системы на различные вычислительные платформы в 1973 году с участием Вирта был разработан прототип виртуальной машины, исполняющей на любой платформе промежуточный «пи-код», в который предполагалось компилировать все программы.

Модула не была широко известна и имела всего одну экспериментальную реализацию, но её доработанная версия - Модула-2, разработка которой началась в 1977 и закончилась в 1980 году, предназначенная для реализации системного ПО разрабатываемой в ETH системы Lilith - 16-разрядного персонального компьютера, стала известна и довольно популярна, хотя и не превзошла по популярности Паскаль, особенно его коммерческие реализации.

Система Lilith обогнала тенденции компьютерной индустрии на несколько лет, позднее Вирт с сожалением говорил, что, не реализовав потенциал этой системы, швейцарская компьютерная индустрия упустила свой исторический шанс. Развитием Модулы-2 стал язык Модула-3, разработанный совместно фирмами DEC и Olivetti; в его создании Вирт участия не принимал.

В 1999 году эта компания выпустила следующую версию Оберона - Component Pascal, более приспособленную для компонентного программирования. В 1996 году Вирт разработал ещё один оригинальный язык программирования - Lola, предназначенный для разработки настраиваемых электронных схем.

Член национальных академий: Swiss Academy of Engineering (Швейцария), U. S. Academy of Engineering (США), Berlin-Brandenburg Academy (Германия).

Академическая респектабельность Вирта долгое время мешала признать тот факт, что он является одним из первых настоящих гиков в истории информационных технологий. Справедливость восторжествовала лишь через десять лет после его выхода на пенсию.

Премии и награды

IEEE Emanuel Piore Award (1983)
ACM Turing Award (Премия Тьюринга) (1984)
ACM Award for Outstanding Contributions to Computer Science Education (1987, 1989)
IEEE Computer Pioneer (1988)
Prix Max Petitpierre (1989)
IBM Europe Science and Technology Prize (1989)
Marcel Benoit Prize (1990)
Orden Pour le Merite (1996)
Leonardo da Vinci Medal (1999)
ACM Outstanding Research Award in Software Engineering (1999).

Достижения

Ещё одна фундаментальная работа, участником которой стал Вирт - разработка технологии структурного программирования, ставшая в программировании, безусловно, самой сильной формализацией как минимум 1970-х - 1980-х годов. Эта технология разработана, обоснована и внедрена в жизнь всего тремя выдающимися людьми - Виртом, Дейкстрой и Хоаром.

Комментаторы не раз отмечали, что идеи Вирта зачастую опережали развитие компьютерной индустрии на годы, иногда - на десятилетия.

Разработанная в начале 1970-х система Pascal-P, предполагающая компиляцию программ на Паскале в универсальный «пи-код» и реализацию на любой платформе интерпретатора пи-кода (одна из известных её реализаций - UCSD-Pascal Университета Сан-Диего), которая позволяла с минимальными затратами переносить Паскаль-системы на новые аппаратные платформы, более чем на два десятилетия опередила идеи интерпретатора промежуточного кода, реализованные в системах, поддерживающих исполнение программ на языке Java и в платформе. NET.

Идея совмещения системы программирования со сборщиком мусора, освобождающим программиста от необходимости отслеживать время жизни объектов, динамически размещённых в памяти, была реализована в 1988 году в языке и операционной системе Оберон. Обе эти идеи были использованы разработчиками Java и. NET во второй половине 1990-х годов.

Научные принципы

Во всех его работах прослеживается изначальная ориентированность на реализацию наиболее эффективного решения конкретной инженерной задачи на базе гарантированно работающего, математически обоснованного инструментария. Вирт твёрдо стоит на том, что программирование должно быть нормальной инженерной дисциплиной, гарантирующей достаточный уровень надёжности своих разработок.

Достижение же надёжности возможно, по Вирту, только одним способом: максимально возможным упрощением и самих систем, и инструментов, которые используются для их создания. В соответствии с этим принципом языки и системы программирования, разрабатываемые Виртом, всегда были образцом «разумной достаточности», даже своего рода аскетичности - в них предусматривалось только то, без чего нельзя обойтись.

Даже расширение существующих языков и систем всегда сопровождалось упрощением.

По подсчётам, опубликованным в статье Сергея Свердлова «Арифметика синтаксиса», «линия Вирта», как он её назвал - линейка языков, включающая Паскаль, Модулу-2, Оберон и Оберон2 - это единственный пример «генетической линии» языков-потомков Алгола-60, в которой сложность языка, определённая как количество лексем в его описании, стабильно снижалась и в настоящее время оказывается ниже, чем у общего «прародителя» - Алгола-60.

Все языки «линии Вирта» проще Алгола-60, и каждый следующий язык в этой линии проще предыдущего. В то же время Ада более чем вдвое сложнее своего предшественника - Паскаля, C++ приблизительно в 1,7 раза сложнее Си, а в линейке Паскаль - Турбо Паскаль разных версий - Object Pascal сложность экспоненциально растёт от версии к версии.

Это приводит к неправильной оценке роли некоторых идей и, в конечном итоге, к неправильной расстановке приоритетов в разработке ПО. В частности, говоря об ООП, Вирт неоднократно отмечал, что оно является достаточно тривиальным расширением того же структурного подхода, сдобренным новой терминологией, и вряд ли может претендовать на звание «революционной методологии программирования».

Известно ехидное замечание Вирта по поводу привычки американцев к антропоцентризму в терминологии: «Они называют расширение типа „наследованием“, но, вообще то, наследство обычно переходит к потомку только тогда, когда предок умирает».

Каждая разработанная Виртом система имела чётко сформулированное назначение, область применения, и он всегда без колебаний исключал из разработки всё, что не было нужно для данного конкретного назначения.

Здесь, однако, нужно уточнить: в «конкретное назначение», например, Оберона входит обеспечение предельно лёгкой и безопасной расширяемости системы, поэтому, не являясь языком «универсальным вообще», т. е. не включая всех возможных средств для всех вообразимых применений, Оберон всё-таки является универсальным - «универсальным через расширяемость».

Изданы на русском языке:
Систематическое программирование. Введение. М.: Мир, 1977;
Паскаль. Руководство для пользователя и описание языка. М.: Финансы и статистика, 1982 (в соавторстве с К. Иенсен);
Алгоритмы + структуры данных = программы. М.: Мир, 1985;
Программирование на языке Модула-2. М.: Мир, 1987;
Алгоритмы и структуры данных. М.:Мир, 1989. ISBN 5-03-001045-9 (версия книги на языке Модула-2)
Алгоритмы и структуры данных. СПб.: Невский диалект. 2001.

Книга Вирта «Алгоритмы + структуры данных = программы» издавалась на русском языке несколько раз в разных вариантах и считается первым из трёх классических учебников по структурному программированию.

Никлаус Вирт - фото

Никлаус Вирт - цитаты

Программы становятся медленнее более быстро, чем компьютеры становятся быстрее.

Никогда программы не содержат так мало ошибок, как при отсутствии каких-либо средств отладки.

Степень доктора наук в области электротехники и компьютерных наук Вирт получал в Университете Калифорнии в Беркли (США); в стенах именно этого учебного заведения он в 1963 году защищал свою диссертацию, написанную под руководством знаменитого профессора Гарри Хаски (Harry Huskey), пионера графического дизайна.

Никлаус Эмиль Вирт (Niklaus Emil Wirth) родился в 1934 году в швейцарском городе Винтертур (Winterthur, Switzerland). Известно, что отец его работал учителем в школе, а сам Никлаус с детства увлекался авиамоделированием. Именно эта его страсть впоследствии привела его к увлечению электроникой и системами программного управления.

В 1954 году Вирт стал студентом факультета электроники Швейцарского федерального технологического института в Цюрихе (Swiss Federal Institute of Technology Zürich), именно здесь он получил свою степень бакалавра по электротехнике. Далее следовала учеба в Лавальском Университете в канадском Квебеке (Université Laval, Canada), в котором Вирт получил степень магистра в 1960-м.

йна. Диссертация его оказалась замеченной в заинтересованном мире, и Вирта пригласили в комитет по стандартизации Алгола Международной федерации информатики (International Federation for Information Processing, IFIP); комитет как раз работал над разработкой нового стандарта языка Алгол, впоследствии ставшего известным как Алгол-68. Версией Вирта был усовершенствованный язык, так называемый Algol-W, однако его разработки не были приняты.

С 1963 по 1967 год Никлаус параллельно работал в качестве помощника профессора в Стэнфордском Университете (Stanford University), а затем последовала работа в Университете Цюриха (University of Zurich). Известно, что помимо собственно научных изысканий, Вирт приложил немало усилий для усовершенствования системы обучения в университете.

В 1970-м Вирт выступил разработчиком языка программирования Паскаль, в 1975-м - разрабатывал язык Модула, а в конце 1970-х Никлаус Вирт принял участие в конкурсе министерства обороны США, став одним из разработчиков нового языка для программирован

ия встроенных систем, ставшего известным как язык Ада. Его проект, впрочем, принят не был, как и в случае с языком Алгол в 1960-х.

В 1980-х Вирт возглавлял Высшую техническую школу Цюриха (Eidgenössische Technische Hochschule, ETH), а с 1990-го работал в созданном при этом же учебном заведении Институте компьютерных систем.

В 1990-х Вирт участвовал в разработке языка Оберон-2, несколько расширенной версии Оберона.

Весной 1999-го Никлаус Вирт вышел на пенсию, будучи 65-летним. К этому моменту он был одним из уважаемых во всем мире разработчиков, на его счету – работа над как минимум восемью языками программирования, был он также разработчиком технологии структурного программирования.

Известно, что Вирт – обладатель нескольких очень престижных премий ("Turing Award", "SIGPLAN Programming Languages Achievement Award"), а также почетных степеней нескольких учебных заведений.

"В нашей профессии, точность и совершенство являются не необязательной роскошью, а просто необходимостью", - сказал как-то ученый