Андрей Викторович Столяров: сайт автора

⇐ ⇑ ⇒

О состоянии дел с четвёртым томом

Sat Nov 3 10:19:02 2018 UTC

Рукопись четвёртого тома с рабочим названием «Парадигмы» постепенно обретает очертания. Как водится, всё получается совсем не так, как планировалось. Изначально я хотел разделить том на четыре части: Си++, GUI, скриптинг и альтернативные парадигмы (Лисп, Пролог и иже с ними), но, пытаясь вписать старый текст по Си++ в новую канву, я столкнулся с потребностью рассказать о парадигмах до, а не после обсуждения ООП и АТД. В то же время мой опыт показывает, что рассказывать о парадигмах как о способах осмысления выполнения программ можно на примере уже известных читателю языков: Паскаля, языка ассемблера и Си вполне достаточно, чтобы проиллюстрировать разные способы мышления, пусть и не все — тут скорее важно показать сам факт наличия разных способов.

План тома пришлось изрядно перетрясти. Его первая часть (девятая в общей нумерации) будет посвящена парадигмам программирования как явлению, в том числе туда войдут краткий обзор основных существующих стилей, обсуждение рекурсии как парадигмы, различий в мышлении при работе на Паскале и Си (в основном это касается небезызвестного термина «побочный эффект»; те, кто думают, что любое изменение в среде выполнения есть побочный эффект, глубоко заблуждаются) и т.д.

Вторая (десятая) часть объединит существующее введение в язык Си++, пример применения объектов для событийно-ориентированного программирования при создании TCP-сервера, краткий рассказ о создании графических интерфейсов с помощью FLTK и небольшой (надеюсь) рассказ о дополнительных пардигматических возможностях, открывающихся с появлением шаблонов (я собираюсь попробовать устроить на шаблонах редукцию обобщённых последовательностей, но что у меня с этим получится, пока не знаю; если созданные примеры не покажутся мне достаточно убедительными, я этот параграф выкину).

Третья (одиннадцатая) часть будет посвящена «неразрушающим» парадигмам — функциональному и логическому программированию. Здесь будет краткое введение в языки Лисп, Scheme, Пролог, Рефал (Рефал-5) и Хоуп с обсуждением того, как можно изменить собственное восприятие своих программ при работе на этих языках.

Наконец, четвёртая часть, двенадцатая в общей нумерации, под рабочим названием «Компиляция, интерпретация, скриптинг», кроме анонсированного ранее введения в Tcl и Tcl/Tk, будет содержать ещё обсуждение парадигм, связанных с избранием стратегии исполнения (полная интерпретация, частичная компиляция, полная компиляция) и их ограничений. Сделать эту часть последней, а не предпоследней, как планировалось ранее, я решил вот по какой причине. Не так давно вышла моя с двумя соавторами статья «Чистая компиляция как парадигма программирования»; идеи, которые в этой статье прозвучали, мне хочется видеть в книге, коль скоро она посвящена парадигмам, но обсуждать эти материи всерьёз можно лишь тогда, когда читатель уже знаком как с компилируемым, так и с интерпретируемым исполнением — то есть явно после главы о неразрушающих парадигмах. При этом логичнее такой параграф впишется в главу о скриптинге, для которого интерпретация кажется определяющей — например, как некий обзор ограничений скриптинга, или ответ на вопрос «почему не надо использовать командно-скриптовые языки в роли языков общего назначения».

К настоящему моменту первая часть (которая про парадигмы) почти готова, от части по Си++ есть только то, что уже было раньше, так что главы про TCP-сервер и FLTK ещё впереди, начата работа над частью про «экзотику» (написана примерно треть текста про Лисп), рукопись части про скриптинг пока пустая. В целом четвёртый том обещает быть самым толстым, но я пока надеюсь уложить его в одну физическую книгу (страниц эдак на 600).

По срокам я надеялся успеть к новому году, но, похоже, это всё-таки утопия: чтобы том успели напечатать в 2018 году, нужно рукопись дописать чуть больше чем за месяц, это нереально.

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

Большое спасибо всем, кто поддерживает проект!

добавить комментарий

☞ From Uriy Gerko (unverified) Mon Nov 4 08:19:00 2019 UTC

Андрей

Андрей Викторович!
Вы пишите:"....По срокам я надеялся успеть к новому году..."
А можете уточнить, какого года?

пояснение