Наткнулся на прошлогоднее интервью с Дональдом Кнутом

Искал в Интернете высказывания Дональдом Кнута по поводу его отношения к отладчикам и наткнулся на интервью, которое он дал в прошлом году. Прочел его с удовольствием (хотя временами были у меня смутные подозрения, что какие-то фрагменты этого интервью я уже видел раньше, в особенности про рак и возраст). Не смотря на то, что интервью уже довольно старое, своей актуальности оно совершенно не утратило. Вероятно потому, что Кнут на удивление умный и адекватный товарищ. Некоторые части захотелось процитировать.

Об OpenSource и закрытом ПО:

Успех программ с открытыми текстами - это, вероятно, единственное явление в компьютерной области, которому я в последние несколько десятилетий не удивляюсь…
…Тем не менее, я думаю, что небольшая часть программ, таких как Adobe Photoshop, будет всегда превосходить конкурентов из категории open source, таких как Gimp, по неизвестной мне причине.

Кнут развенчал в этом интервью легенду о том, как он выиграл соревнования программистов с помощью программы, которая заработала после первой же компиляции:

Все участники соревнования, кроме меня, работали в его лаборатории искусственного интеллекта, которая располагалась на холмах выше Стэнфорда, и использовали систему разделения времени WAITS. Я сидел внизу, на основной территории университета, и единственным доступным для меня компьютером был мейнфрейм, для которого я должен был пробивать перфокарты и отдавать их на обработку в пакетном режиме. Я пользовался системой Вирта ALGOL W (предшественником Pascal). Моя программа не заработала с первого раза, но, к счастью, я смог воспользоваться замечательной оффлайновой системой отладки Эдда Саттертвейта (Ed Satterthwaite), так что мне понадобилось всего два захода. Тем временем, ребята, пользовавшиеся WAITS, не смогли получить достаточного машинного времени, поскольку их машина была перегружена. (Я думаю, что программист, занявший второе место, который использовал этот “современный” подход, пришел к финишу почти через час после того, как я представил работающую программу, полученную с применением старомодных методов.) Это соревнование не было справедливым.

По поводу перехода к многоядерным архитектурам:

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

В этих словах я нашел подтверждение своим опасениям о том, что многопоточное программирование грозит превратиться в кошмар.

О том, почему literate programming не получило широкого признания:

Literate programming - это очень личная вещь. Мне оно кажется бесподобным, но это, может быть, потому, что я очень странный человек. У этого подхода имеются десятки тысяч поклонников, но не миллионы…
…Тем не менее, лично для меня literate programming - это наиболее важная вещь, вышедшая из проекта TeX. Этот подход не только позволил мне писать и поддерживать программы быстрее и надежнее, чем когда бы то ни было раньше, и он не только был для меня самым большим источником удовольствия, начиная с 1980-х гг. - он иногда оказывался незаменимым. Некоторые из моих основных программ, такие как метасимулятор MMIX, не могли бы быть написаны с применением любой другой методологии, о которой я когда-либо слышал. Сложность была просто чересчур устрашающей, чтобы с ней можно было справиться на основе моих ограниченных умственных возможностей; без применения literate programming все предприятие потерпело бы полную неудачу.
Если люди действительно обнаружат хорошие способы использования новомодных многоядерных машин, то я думаю, что это сделают те люди, которые повседневно используют literate programming. Literate programming - это то, что требуется для превышения обычного уровня достижений. Но я не считаю разумным навязывание идей кому бы то ни было. Если грамотное программирование - это не ваш стиль, забудьте о нем и делайте то, что вам нравится. Если этот подход не будет нравиться никому, кроме меня, пусть он умрет.

И еще одна цитата на эту тему:

Вероятно, правильно сказал Джон Бентли (Jon Bentley), когда его однажды спросили, почему грамотное программирование не овладело стремительно всем миром. Он заметил, что хорошо программировать умеет небольшая часть населения земного шара, а хорошо писать на естественном языке - другая небольшая часть. По-видимому, мне хотелось, чтобы каждый человек входил и в ту, в и другую группу.

Очень точное наблюдение. На удивление сложно встретить программиста, который был бы способен писать и качественный код, и хорошую документацию.

О его подходе к работе:

Мой обычный стиль работы состоит в том, что сначала я все пишу карандашом на бумаге, сидя неподалеку от большой корзины для мусора...

Мне кажется, что не зря здесь упомянута большая корзина для мусора :) Чем-то напоминает вот эту историю о китайском художнике.

О том, насколько тщательно Кнут подходит к созданию удобной именно для него рабочей среды:

У меня имеется несколько самодельных инструментов, таких как мой собственный спел-чекер для TeX и CWEB внутри Emacs. Я разработал собственный растровый шрифт для использования с Emacs, потому что я терпеть не могу то, как символы ASCII “апостроф” и “левая открывающая кавычка” эволюционировали в независимые символы, не соответствующие друг другу визуально. В Emacs у меня имеются специальные режимы, помогающие мне классифицировать все мои десятки тысяч файлов со статьями и заметками, а также специальные “быстрые клавиши”, наличие которых превращает писание книги в некоторое подобие игры на органе.

О том, какую работоспособность имеет человек в 70(!) лет:

Сейчас я чувствую себя таким же здоровым, как и всегда, с поправкой на то, что мне уже 70 лет. Когда я пишу TAOCP, мои слова текут легко, и я пишу грамотные программы, предшествующие вариантам TAOCP. Я просыпаюсь утром с идеями, которые меня радуют, и некоторые из этих идей нравятся мне и позже, днем, когда я ввожу их в свой компьютер…
…Что касается текущих каталогов в моей машине, в этом году я пока написал 68 разных CWEB-программ. В 2007-м году их было 100, в 2006-м - 90, в 2005-м - 100, в 2004-м - 90 и т.д. Кроме того, в CWEB имеется исключительно удобный механизм <изменения файлов>, с помощью которого я быстро создаю несколько версий и вариаций на одну и ту же тему; пока в 2008-м г. я создал 73 вариации этих 68 тем. (Некоторые из вариаций являются совсем короткими, всего несколько байт; другие имеют размер в 5 Кб и больше. Некоторые CWEB-программы имеют значительный размер, как, например, 55-страничный пакет BDD, работу над которым я завершил в январе.)

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

Он так же раскрывает секрет экономии времени:

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

Интересно, может ли подобная методика пригодиться при работе с большим количеством блог-постов на тему многопоточности и модели актеров (которые сейчас плодятся в великом множестве, в том числе и с моей помощью)?

PS. Где-то я читал высказывание Кнута о том, что если бы у него был выбор между двумя равноценными средами разработки, то он лично предпочел бы ту, у которой лучше средства отладки. Буду очень признателен, если кто-нибудь укажет на ее первоисточник.

Выпустил Mxx_ru 1.4.9

В последнее время развитие Mxx_ru доказывает, что пользователи для программного продукта – это все. Если пользователи есть, то среди них найдутся достаточно активные люди, чтобы высказать автору продукта свои пожелания и заставить его (автора то бишь) воплотить эти пожелания. Тем более, когда пользователи делают значительную часть работы вместо автора :)))

Вот так и произошло с Mxx_ru 1.4.9. Сначала Тимур Найрулин захотел скомпилировать проект CGRU под MacOS X. Затем он выяснил, почему это не получается с Mxx_ru 1.4.8. Затем он разузнал, что нужно указать компилятору/линкеру под MacOS. И мне осталось только вставить все это дело в Mxx_ru в виде нового тулсета gcc_darwin.

Затем Игорь Мирончик сделал патч для Mxx_ru, в котором реализовал поддержку инструмента lupdate из состава Qt4. И мне осталось только накатить этот патч.

За что им от меня большое человеческое спасибо! ;)

В результате, на RubyForge появилась новая версия Mxx_ru. Мне остается только сделать обновления в документации…

SObjectizer и C++: вместе навсегда!

На C++ я программирую уже очень давно. Наверное, года с 1992-го, а может и с 1991-го. Блин, столько не живут :)

Так вот на C++ я программирую уже настолько долго, что периодически хочу сменить его на что-нибудь другое. Более лаконичное и безопасное. В первую очередь – безопасное. Со сборкой мусора. С проверками выхода за пределы буфера. Со stacktrace-ми в исключениях (да, я знаю, что в C++ с помощью дополнительных велосипедов и отладочной информации это можно получить). Пока ничего такого же быстрого и, как бы сказать, дающего возможность поизвращаться (трех-этажные шаблоны – это же увлекательное извращение) не нашел.

Через два месяца SObjectizer-4 будет семь (блин, вдуматься – СЕМЬ!) лет. Это достаточно долго. Хотя бы для того, чтобы всерьез заниматься проектированием SObjectizer-5.

Временами желания выбросить C++ и написать SObjectizer-5 “с нуля” совпадают во времени и пространстве. И я начинаю обдумывать, как мог бы выглядеть SObjectizer-5 на другом языке. На D. Или на Eiffel. Или на Scala. Ada. OCaml. C#. Вот в минувшие выходные опять смотрел в сторону Scala…

Но, практически всегда я останавливаюсь на одном вопросе: “А нужен ли будет SObjectizer на этом языке вообще?”

Для JVM-языков (Java и Scala в первую очередь) он вообще не нужен. Во-первых, потому, что для JVM сейчас и так только не ленивый клепает свои actor framework-и. Во-вторых, потому, что в мире JVM почему-то очень силен пиетет перед “правильными” решениями и технологиями. Вот J2EE и EJB – это правильные веши. Остальное – велосипедостроение.

Платформа .NET пока для меня загадка. В каких задачах она широко используется? Будет ли там востребован? Пока не понятно.

Eiffel и Ada сами по себе достаточно маргинальные языки (по крайней мере в нашей стране). Так что даже если SObjectizer-5 окажется восстребованным на Eiffel или Ada, то речь будет идти разве что об единичных применениях. Поскольку вряд ли Eiffel/Ada сами по себе применяются чаще :)

Очень хорошо могло бы быть с D. Поскольку для D сейчас вообще мало чего есть, а интерес он к себе привлекает изрядный. А тут бы мы с SObjectizer-5 подсуетились. Здорово могло бы быть, тем более, что на D приятно программировать. Одна сверхзвуковая скорость компиляции чего стоит! Но… Но пока сам D все еще в стадии формирования. И лично у меня уже нет больших надежд на то, что он когда-нибудь из этой стадии вырастет во что-то стабильное и надежное.

Так что остается C++. Со всеми его прелестями.

Положительным моментом в выборе C++ является то, что для C++ не так уж много проектов, подобных SObjectizer-у. Подтверждение чему я получил буквально вчера.

Вчера я получил письмо от француза (судя по имени и фамилии), который просил помочь в компиляции SObjectizer под Linux-ом. Я офигел. Поскольку мало того, что я не давал каких-либо анонсов в англоязычных изданиях, так еще нигде нет никакой документации по SObjectizer на английском. А тут человек нашел SObjectizer, скачал его, разобрался, что нужны еще ACE, Ruby, RubyGems и Mxx_ru. Установил все это и даже наполовину скомпилировал! Офигеть!!! (Оказалось, что он переводил документацию по SObjectizer с помощью Google Translate).

Когда же я у него спросил, откуда он узнал о SObjectizer, он ответил:

Since a long time, I search C++ toolbox make to create agents (and MAS). The majority of development made under java, but I want to use C++ for the speed execution. It seems that the majority of laboratory teams prefer java. So I try to search also under sourceforge, and I found sobjectizer existence.

Вот оно как. Дела с агентными фрейворками для C++ настолько плохи, что приходится брать инструмент с русскоязычной документацией и изучать его с помощью автоматических переводчиков. Лично я бы никогда не взялся смотреть на инструмент с французкой или португальской документацией.

А посему можно смело ориентировать SObjectizer на C++. Ведь не смотря на все свои недостатки, C++ уже давно достиг состояния immortality. Поэтому на нем пишут сейчас и еще долго будут писать. В том числе и SObjectizer ;)

Из непонятого: публичные личные телефонные разговоры

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

Меня вообще поражает способность некоторых людей отключаться от окружающего их мира и целиком погружаться в телефонный разговор, совершенно не заботясь о том, что их слушают. В первый раз я столкнулся с этим, когда мне было лет 18 и я месяц просидел в комнате у теток-бухгалтеров на маминой работе. Каждая их них минут по сорок в день тратила на разговоры с подругами/родственниками совершенно не смущаясь ни своих коллег, ни меня. За это время я узнал состав их семей, где, кто и с кем живет (включая породы и клички собак и кошек), кто и чем занимается, и какие события происходили у них в последнее время.

Одно время я думал, что к подобным явлениям предрасположенны, в основном, женщины. Но, как раз мобильные телефоны убедили меня, что здесь царит полное равноправие – наткнуться в маршрутке/автобусе на мужика, десять минут трындящего какую-то бытовую муру в телефон, не сложнее, чем на такого же экземпляра женского пола. Причем, если к публичным телефонным разговорам в транспорте больше склонны дамы лет сорока и старше, то у мужчин ситуация обратная – в основном треплются молодые ребята.

Собственно, что подвигло меня на написание сего опуса?

Во-первых, я искренне не понимаю, как можно не стесняясь, находясь среди посторонних людей (не важно, в транспорте или на работе), вести личные разговоры? Задумываются ли они, например, о своей безопасности? Вот прокричишь на всю маршрутку, что завтра уезжаешь в Куршавель на недельку, а рядом с тобой окажется домушник ;) Проводит тебя до дома, узнает где живешь, а через пару дней навестит твою квартиру… Или, что вероятнее, нервы у невольного слушателя лопнут, и влепит он тебе хук справа в челюсть…Ну, а если не быть параноиком, то почему люди не думают о своих попутчиках? Вам самим вряд ли было бы приятно выслушивать сагу об удачно купленных зимних сапожках, в трех разных изложениях. Так почему же вы ставите в такое положение других людей?

Во-вторых, когда-то я читал книгу по тайм-менеджменту. Кажется, это была “Тайм-драйв. Как успевать жить и работать” Глеба Архангельского. Если мне не изменяет мой склероз, автор дает совет рационально использовать время, которое мы проводим в дороге (в метро, такси, автобусе, маршрутке). В частности, тратить его на необходимые телефонные разговоры. Так вот, хочется обратиться с просьбой к тем, кто последует этой рекомендации: пожалуйста, подумайте о людях, которые оказались рядом с вами. Нервы у меня не железные, могу и хук справа залепить! ;)

Из непонятого: превратим программы в криптограммы?

Определенно, у программистов есть и желание, и способность изобретать нечитаемый синтаксис для своих программных творений. Ранее я об этом уже говорил в юмористической форме. Вчера, читая блог команды разработчиков Maestro в очередной раз в этом убедился. Так, в Maestro для поддержки flow-based подхода изобрели следующие операторы:

==>
-<<
>>-
-<:
&>-

Попробуйте догадаться, какой из них что обозначает. Хотя бы вот в этом примере:

{ a ==> TraceNumber, b ==> TraceNumber } 
   &>- join -<: { GetSum, GetSum } >>- sum;

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

Возможно, причины возникновения таких криптограмм были как-то озвучены Артемием Лебедевым в его Бизнес-линче: “Физики, химики, математики, кибернетики, программисты — все они не в состоянии нарисовать себе приличные логотипы”. Т.е. нет у программистов способностей к графическому дизайну. А, поскольку выбор понятных и простых обозначений для операций – это и есть дизайн, то неудивительно, что что получаются вот такие результаты.

PS. Пользуясь случаем, не могу не бросить еще раз камешек в огород хардкорных функциональных языков. Цитата из статьи про монады:

choose p d1 d2 = Dist {support = s, gen = g, expect = e}
   where
      s = support d1 ++ support d2
      g sg = let (x,sg') = randomR (0.0,1.0) sg in if x < p then gen d1 sg' else gen d2 sg'
      e f = p * expect d1 f + (1-p) * expect d2 f

Попробуйте с ходу сказать, что происходит в выделенной жирным строке ;)

PPS. Да, у меня с дизайном все замечательно. Я без труда придумываю удачные идентификаторы и графические обозначения :)))