Ніклаус Вірт: биография

Наукові принципи

Можливо, одним з найбільш точних виразів принципів, яких дотримується Вірт в розробці всіх своїх проектів, є фраза Ейнштейна, винесена в епіграф до «Повідомленню про мову Оберон»: «Роби просто, наскільки можливо, але не простіше цього ». В усіх його роботах простежується початкова орієнтованість на реалізацію найбільш ефективного вирішення конкретної інженерної задачі на базі гарантовано працюючого, математично обгрунтованого інструментарію. Вірт твердо стоїть на тому, що програмування повинно бути нормальною інженерної дисципліною, що гарантує достатній рівень надійності своїх розробок. Досягнення ж надійності можливо, по Вірту, тільки одним способом: максимально можливим спрощенням і самих систем, та інструментів, які використовуються для їх створення. Відповідно до цього принципу мови і системи програмування, що розробляються Віртом, завжди були взірцем «розумної достатності», навіть свого роду аскетичності - у них передбачалося тільки те, без чого не можна обійтися.

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

Вірт часто критикує «американський підхід» до розробки засобів програмування, в якому маркетингові міркування превалюють над вимогами математичної стрункості і гарантованої стійкості, і кожне нове модна пошесть супроводжується некритичним внесенням до мови програмування нових синтаксичних елементів. Це призводить до неправильної оцінки ролі деяких ідей і, в кінцевому підсумку, до неправильної розстановці пріоритетів у розробці ПЗ. Зокрема, кажучи про ООП, Вірт неодноразово відзначав, що воно є досить тривіальним розширенням того ж структурного підходу, присмаченим новою термінологією, і навряд чи може претендувати на звання «революційної методології програмування». Відомо єхидне зауваження Вірта з приводу звички американців до антропоцентризму в термінології: «Вони називають розширення типу" спадкуванням ", але, взагалі-то, спадок зазвичай переходить до нащадка тільки тоді, коли предок вмирає».

Ще один принцип, яким завжди керувався Вірт, можна сформулювати так: «Інструмент повинен відповідати завданню. Якщо інструмент не відповідає завданню, потрібно придумати новий, який би їй відповідав, а не намагатися пристосувати вже наявний ». Він не вітає розробку «мов, універсальних взагалі». Кожна розроблена Віртом система мала чітко сформульоване призначення, область застосування, і він завжди без коливань виключав з розробки все, що не було потрібне для даного конкретного призначення. Тут, однак, потрібно уточнити: в «конкретне призначення», наприклад, Оберона входить забезпечення гранично легкої і безпечної розширюваності системи, тому, не будучи мовою «універсальним взагалі», тобто не включаючи всіх можливих засобів для якогось уявного застосувань, Оберон все-таки є універсальним - «універсальним через розширюваність».

Книги

Видано російською мовою:

• Паскаль. Керівництво для користувача і опис мови. М.: Фінанси і статистика, 1982 (у співавторстві з К. Єнсен);
• Алгоритми і структури даних. М.: Світ, 1989. ISBN 5-03-001045-9 (версія книги мовою Модула-2)
• Програмування на мові Модула-2. М.: Світ, 1987;
• Систематичне програмування. Введення. М.: Світ, 1977;
• Побудова компіляторів. М.: ДМК Пресс, 2010. ISBN 978-5-94074-585-3, 0-201-40353-6
• Алгоритми + структури даних = програми. М.: Світ, 1985;
• Алгоритми і структури даних. СПб.: Невський діалект. 2001.
• Алгоритми і структури даних. Нова версія для Оберона + CD. М.: ДМК Пресс, 2010. ISBN 978-5-94074-584-6, 0-13-022005-9

Книга Вірта«Алгоритми + структури даних = програми»видавалася російською мовою кілька разів у різних варіантах і вважається першим з трьох класичних підручників з структурному програмуванню. Остання версія книги перероблена і переведена автором на мову Оберон.

Англійські версії книг доступні для скачування з Мережі в вигляді PDF-файлів.

Сайт: Википедия