Журнал Компьютерра - Журнал «Компьютерра» №36 от 04 октября 2005 года
Достоинства этого способа несомненны: мы практически избавляемся от возможных погрешностей оценок, то есть нам не нужно что-то округлять или обобщать - любые действия участников будут лишены неизбежных в других моделях неопределенности и допущений.
В результате мы получаем полигон для обкатки экономических инноваций, позволяющий обойтись без упреков в экспериментах на народных чаяньях. Представьте, что приватизацию 1993 года и шоковую терапию сначала проверяют на сообществе какого-нибудь крупного игрового сервера. Тяжело вздыхаете? Так-то… С большой долей вероятности можно допустить, что многих ошибок удалось бы избежать.
Конечно, и этот способ не лишен недостатков. И главный из них - примитивизм системы. Любое копирование жизни, даже самое точное, всегда оказывается скуднее оригинала, упуская полутона и мелкие детали.
Есть сложности и с социальной выборкой. Все-таки заставить отождествлять для себя игру и жизнь можно лишь небольшую группу людей, как правило, молодых. И даже для самых приспособленных к подобному отождествлению жизнь и игра - разные вещи, где совершенно иные риски и ставки. Не случайно в идеализированных условиях игры, гораздо ярче, чем в жизни, проявляется оптимум Парето - в руках 20% игроков сосредотачивается 80% ресурсов. И всякие попытки админов убрать это распределение приводят к серьезным нарушениям игрового процесса. Сложные системы требуют сложных решений.
И все же модели, основанные на РПГ, представляются наиболее перспективными полигонами для обкатки самых разных задач (не только экономических), где прогнозировать приходится поведение людей и социальных групп.
РЕПОРТАЖ: Виртуальное присутствие
Москву посетил Никлаус Вирт (Niclaus Wirth). Известен он в России прежде всего как создатель языка Pascal. Знаменитый профессор Высшей политехнической школы в Цюрихе (ETH; в ней, кстати, учились Альберт Эйнштейн и Джон фон Нейман) и директор Института компьютерных систем при ETH, Вирт уже оставил преподавание и активную научную деятельность.
Приехал он в Москву в сопровождении своего давнего коллеги, профессора той же ETH Юрга Гуткнехта, активно продолжающего его дело. Вашему покорному слуге удалось побывать на лекции и последовавшей затем пресс-конференции, которая проходила в Главном лектории Политехнического музея, где сорок с лишним лет назад выступал Норберт Винер.
Организовано было все очень по-домашнему, чему способствовал интеллигентный юмор лектора и живая реакция состоявшей в основном из студентов аудитории, хором помогавшей переводчику, спотыкавшемуся то на «cardinal type», то на «source code».
Так как все мы теперь завязаны на компьютеры, то от той картинки, которую мы ежедневно видим на экране, в значительной степени зависит наш стиль жизни. По крайней мере, не меньше, чем от телевизионной картинки. Язык программирования Pascal и его потомки Modula-2 и Oberon, как и вся остальная деятельность их создателя Никлауса Вирта, - явление общекультурное, их значение не ограничивается рамками компьютерных технологий. Такое заявление я могу себе позволить, опираясь на взгляды Вирта, никогда не устававшего противопоставлять коммерческий и творческий подход к программированию. Можно выразиться так: швейцарец Вирт является бОльшим противником пресловутого «американского» подхода к человеческой деятельности (когда успех измеряется ростом продаж в текущем квартале), чем многие наши доморощенные «патриоты», муссирующие тему о «бескорыстии русского народа». «Сама мысль о том, что человек может испытывать удовлетворение от хорошо выполненной работы - просто потому, что эта работа творческая и профессиональная, признана абсурдной. Не ценится ничего, кроме экономического успеха и его денежного выражения» - это из интервью восьмилетней давности. Правда, в отличие от этих самых «патриотов», Вирт знает, о чем говорит, потому что довольно долго проработал в Америке, в самой колыбели новых технологий - Стэнфордском университете, а в молодости даже учился у изобретателя оконного интерфейса Дуга Энгельбарта.
Вирту глупо задавать вопрос типа «а сами-то что сделали такого, чтобы критиковать Microsoft?» Он сильно выделяется из плеяды многих знаменитых теоретиков-академиков, блестящие труды которых так и остались главой в истории компьютерных технологий, не найдя никакого применения на практике. Например, про Oberon поклонники говорят так: он во всем лучше Java, кроме количества затраченных рекламных денег. Sun официально никогда не заявляла, но и не отрицала, что в основу Java были в значительной степени положены идеи Oberon, что выразилось в выплате Вирту (точнее, видимо, ETH) некоей (небольшой, впрочем, по свидетельству Вирта) суммы за исходные коды. И самим понятием виртуальной машины мы тоже обязаны Вирту, - еще в начале 70-х, одновременно с языком Pascal, он придумал абстрактную P-машину, исполняющую специальный P-код, который интерпретировался на каждом конкретном устройстве.
Избранные вопросы-ответы на лекции и после нее
Что вы думаете о C#?
- Это просто реакция Microsoft на Java, а если вы хотите, чтобы я ответил на этот вопрос что-либо позитивное, то скажу, что C# - это не такой кошмар, как С++.
Как вы относитесь к case-технологиям, в частности к языку UML?
- Я не большой поклонник UML. Графики подходят для реализации маленьких идей, но не для больших мыслей.
Почему коммерческие продукты делаются не на Oberon, а на С++?
- Это вас нужно спросить, как представителей университета, - а почему университеты перешли на С++?
В свое время Sun купила лицензию на Oberon. Означает ли это, что при написании нового компилятора придется покупать лицензию?
- Нет, конечно. Мы всегда следовали принципу открытых исходников. Компания Sun, как и некоторые другие, купила исходные коды. За очень небольшие деньги, кстати. Они досконально исследовали этот код и через семь лет после выхода Oberon выпустили Java. В Java заимствовано несколько идей из Oberon, но они коррумпировали его синтаксисом языка С. С точки зрения продавцов это был умный ход.
Что нужно сделать для того, чтобы Европа и Россия могли противостоять засилью Америки в области программирования?
- Если хотите знать мое личное мнение, то я заметил, что некоторые люди в России очень быстро воспринимают американское мышление и образ жизни. Возможно, прежде чем примерять их на себя, некоторым из этих людей следовало бы внимательно посмотреть, что именно они воспринимают…
Срастутся ли языки программирования с естественными языками?
- Язык - это то, на чем мы говорим. А на языке программирования мы говорить не можем. Я бы предпочитал вместо термина «язык» использовать термин «формальная нотация». Каждая программа является математическим объектом, поэтому чем проще, тем лучше. И, конечно, здесь нет места многозначности, которая является свойством естественного языка.
Визуальное программирование - это революционный шаг?
- Нет, это просто другой способ выражения ваших мыслей. Некоторым людям удобнее работать с визуальным представлением. В некоторых случаях это даже шаг назад - если помните, на заре программирования было принято записывать программы в виде графов. Мы обнаружили, что такая схема приводит к слишком большому количеству ошибок, как только программа усложняется.
Сможет ли когда-нибудь компьютер полностью заменить человека?
- Полностью? Мне бы она не понравилась…
Вирт считает, что компьютерные системы должны быть прежде всего простыми, понятными и удобными, как для программистов, так и для пользователей, а уже потом - продаваемыми. Он проповедует «принцип чемоданчика» (брать с собой только самое нужное) в противовес «принципу сундука» (хранить все на всякий случай). Характерно, что полное описание Pascal занимало 50 страниц, Modula - 40, а Oberon - 16. «Очевидно, следующее описание займет страницы две», - пошутил Вирт на лекции. Напомним, что «The Java Language Specification» - книга почти в 800 страниц, - это для Java-то, не без оснований гордящейся лаконичностью.
Современные программисты, кичащиеся своей исключительностью, раскрыв рот, внимают потоку рекламного рэпа: технология ActiveX, технология .NET, case-технология, OLE/COM-объекты, ASP.NET, ADO.NET, VB.NET, XML/XSLT, полиморфизм, множественное наследование, виртуальные классы… Еще в начале 80-х, в пору жарких споров между «паскалистами» и «сионистами», профессор Ньюкаслского университета в Австралии Питер Мойлан замечательно характеризовал подобный подход: «Бытует мнение, что С апеллирует к мужскому началу программистов, которым нравится сражаться с малопонятными ошибками и находить невероятные и хитроумные решения проблем. Многих привлекает и компактность нотации С. Похоже, сторонники этого языка считают, что возможность написать такой, скажем, оператор, как **p++^=q++=*r-s, служит серьезным аргументом в пользу применения С». Сплошное словоблудие, утверждает в свою очередь Вирт: «В ООП не добавлено ни одного действительно нового понятия… Это вообще интересный феномен, когда многие люди узнают о таких важных (и древних!) понятиях, как тип данных, инкапсуляция и (возможно) скрытие информации, лишь начиная изучать объектно-ориентированное программирование. Что ж, одно это оправдывает шум вокруг ООП, даже если позднее неофиты ничего оттуда и не используют». Классы - это типы. Объекты - это сложные переменные, например записи. Методы - это процедуры. Свойства - это переменные. «Единственно, что нового придумали в объектно-ориентированном программировании по сравнению с Modula-2, - это наследование. Но наследуем мы, когда кто-то умирает, разве не так? Не люблю я этого термина, „расширение“ мне кажется более подходящим словом».
