Научные принципы
Возможно, одним из наиболее точных выражений принципов, которых придерживается
Вирт в разработке всех своих проектов, является фраза Эйнштейна, вынесенная в
эпиграф к «Сообщению о языке Оберон»: «Делай просто, насколько возможно, но не
проще этого». Во всех его работах прослеживается изначальная ориентированность
на реализацию наиболее эффективного решения конкретной инженерной задачи на базе
гарантированно работающего, математически обоснованного инструментария. Вирт
твёрдо стоит на том, что программирование должно быть нормальной инженерной
дисциплиной, гарантирующей достаточный уровень надёжности своих разработок.
Достижение же надёжности возможно, по Вирту, только одним способом: максимально
возможным упрощением и самих систем, и инструментов, которые используются для их
создания. В соответствии с этим принципом языки и системы программирования,
разрабатываемые Виртом, всегда были образцом «разумной достаточности», даже
своего рода аскетичности — в них предусматривалось только то, без чего нельзя
обойтись.
Даже расширение существующих языков и систем всегда сопровождалось упрощением.
По подсчётам, опубликованным в статье Сергея Свердлова «Арифметика синтаксиса»,
«линия Вирта», как он её назвал — линейка языков, включающая Паскаль, Модулу-2,
Оберон и Оберон2 — это единственный пример «генетической линии» языков-потомков
Алгола-60, в которой сложность языка, определённая как количество лексем в его
описании, стабильно снижалась и в настоящее время оказывается ниже, чем у общего
«прародителя» — Алгола-60. Все языки «линии Вирта» проще Алгола-60, и каждый
следующий язык в этой линии проще предыдущего. В то же время Ада более чем вдвое
сложнее своего предшественника — Паскаля, C++ приблизительно в 1,7 раза сложнее
Си, а в линейке Паскаль — Турбо Паскаль разных версий — Object Pascal сложность
экспоненциально растёт от версии к версии.
Вирт часто критикует «американский подход» к разработке средств
программирования, в котором маркетинговые соображения превалируют над
требованиями математической стройности и гарантированной надёжности, и каждое
новое модное поветрие сопровождается некритичным внесением в языки
программирования новых синтаксических элементов. Это приводит к неправильной
оценке роли некоторых идей и, в конечном итоге, к неправильной расстановке
приоритетов в разработке ПО. В частности, говоря об ООП, Вирт неоднократно
отмечал, что оно является достаточно тривиальным расширением того же
структурного подхода, сдобренным новой терминологией, и вряд ли может
претендовать на звание «революционной методологии программирования». Известно
ехидное замечание Вирта по поводу привычки американцев к антропоцентризму в
терминологии: «Они называют расширение типа „наследованием“, но, вообще-то,
наследство обычно переходит к потомку только тогда, когда предок умирает».
Ещё один принцип, которым всегда руководствовался Вирт, можно сформулировать
так: «Инструмент должен соответствовать задаче. Если инструмент не соответствует
задаче, нужно придумать новый, который бы ей соответствовал, а не пытаться
приспособить уже имеющийся». Он не приветствует разработку «языков,
универсальных вообще». Каждая разработанная Виртом система имела чётко
сформулированное назначение, область применения, и он всегда без колебаний
исключал из разработки всё, что не было нужно для данного конкретного
назначения. Здесь, однако, нужно уточнить: в «конкретное назначение», например,
Оберона входит обеспечение предельно лёгкой и безопасной расширяемости системы,
поэтому, не являясь языком «универсальным вообще», т.е. не включая всех
возможных средств для всех вообразимых применений, Оберон всё-таки является
универсальным — «универсальным через расширяемость».
Книги
Изданы на русском языке :
Систематическое программирование. Введение. М.: Мир, 1977;
Паскаль. Руководство для пользователя и описание языка. М.:
Финансы и статистика, 1982 (в соавторстве с К. Иенсен);
Алгоритмы + структуры данных = программы. М.: Мир, 1985;
Программирование на языке Модула-2. М.: Мир, 1987;
Алгоритмы и структуры данных. М.:Мир, 1989. ISBN
5-03-001045-9 (версия книги на языке Модула-2)
Алгоритмы и структуры данных. СПб.: Невский диалект. 2001.
Книга Вирта «Алгоритмы + структуры данных = программы» издавалась на русском
языке несколько раз в разных вариантах и считается первым из трёх классических
учебников по структурному программированию.
В настоящее время вся классическая трилогия Вирта переведена его учениками на
язык Оберон и доступна для скачивания из Сети в виде PDF-файлов.
