egorius

Макс Фрай, «Обжора-хохотун»

Уже шестая книга из Хроник Ехо. Продолжаю радоваться каждой новой встрече.

Виталий Кауфман, «Языки программирования. Концепции и принципы»

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

Не мог не поддержать благое дело покупкой, заодно и перечитал. Тщусь надеждой, что понял больше, чем прежде, но — надо признать — опять не всё. С большой пользой для себя:

• вспомнил Аду (интересна тем, что является прародителем PL/SQL);
• осознал связь между реляционным программированием (Пролог) и реляционными базами данных (надо осмыслить);
• почитал про функциональное программирование (стали понятны кое-какие странности Хаскеля);
• нашёл прекрасную главу про причины сложности и методы борьбы с ней (прямиком в курс по качеству в программировании);
• проникся всеобъемлющей универсальностью аппарата абстракции-конкретизации.

Адриан Форте, «Объекты желания»

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

Поговорим о Хаскеле... Первая вещь, которая отличает_от и поражает воображение, это до невозможности ленивые вычисления. Хаскел никогда ничего не вычисляет, пока оно не понадобится.

Например, можно сказать [1..], и Хаскел бросится печатать бесконечный список чисел. Но если попросить take 5 [1..], то ответом будет [1,2,3,4,5], то есть будут вычислены только те элементы, которые нужны. Не впечатляет? Идём дальше.

Классическая задача — числа Фибоначчи. Классическая же рекурсивная реализация, понятная без каких-либо тайных знаний_о:

fib 0 = 0
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

Говорим fib 10, получаем 55, всё честно.

А если хочется список чисел? Первая мысль императивного программиста: какой длины объявлять массив? Вот в этом месте требуется смена парадигмы. В Хаскеле нет проблем (почти) работать с бесконечными списками.

fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

Говорим take 11 fibs, получаем [0,1,1,2,3,5,8,13,21,34,55]. Говорим fibs!!10, получаем 55.

Тут уже требуется пара пояснений. Функция tail возвращает весь список, кроме головы: tail [1,2,3] даёт [2,3]. Функция zipWith «сшивает» два списка с помощью функции-параметра, например zipWith (+) [10,20,30] [1,2,3] даст [11,22,33], а zipWith (-) [10,20,30] [1,2,3] даст [9,18,27].

То есть вот что происходит. Сначала в fibs нам известны первые два элемента. А затем происходит рекурсивное (потенциально бесконечное!) сложение списка самого с собой, сдвинутым на одну позицию влево, как-то так:

[0,1,…
+
[1,…
=
[1,…

[0,1,1,…
+
[1,1,…
=
[1,2,…

[0,1,1,2,…
+
[1,1,2,…
=
[1,2,3,…

Ну и так далее, алгоритм O(n) — понятно, не самый быстрый, но для упражнения сойдёт. Суть же в том, что благодаря ленивости вычислений нам не надо заботиться о максимальном размере списка: сколько понадобится, столько и будет, но не больше! По-моему, красиво.

Ник Горькавый, «Астровитянка» и «Теория катастрофы» (КПК)

Эту книгу упомянул dottedmag, да так, что захотелось прочитать. Занятная книга: то ли Поттер попал в мир науки вместо мира магии (но мы же помним, что достаточно развитая технология неотличима_от), то ли возвращение Алисы Селезнёвой, то ли Пятый Элемент-2... Сам автор позиционирует трилогию как НФ для умных подростков, однако же её с удовольствием читают и взрослые дядьки. Эх, чому ж я не физик-теоретик?..

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

Майкл Физерс, «Эффективная работа с унаследованным кодом»

Книжка про то, как бороться с творчеством братьев по разуму, да и со своим тоже. Автор пытается подвести какую-то теоретическую базу и приводит всякие примеры рефакторинга, но главная полезная мысль такова: прежде, чем что-то делать с кодом, надо написать для него блочные тесты. Следствие: тесты нужны не столько для проверки работоспособности готовой программы, сколько в качестве страховки при внесении изменений (идеал автора — test driven development). Наблюдение: простоту написания блочных тестов можно рассматривать как один из критериев «хорошести» кода.

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

Нил Форд, «Продуктивный программист»

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

Лично для меня стало откровением, что уже научились компилировать разные языки в джавовский байт-код, в том числе и Хаскел. Пора, может, его уже изучить?

Марина и Сергей Дяченко, «Ведьмин век» (КПК)

Снова взялся за Дяченок, заботливо отобранных sergg_rw. Увлекательно пишут! Эта вещь очень лихо закручена, каждая деталька работает, напрягаешься, предвкушаешь концовку — и на тебе... в духе «и тут я проснулся». Так я и не понял, что хотели сказать авторы. Но ведь хотели же!