Технооптимисты

26 Jul 2025 09:41

Когда серьёзное становится книгой

В 2011 году у меня уже была одна книга-сборник — «14 занимательных эссе о языке Haskell и функциональном программировании» из статей журнала «Потенциал» для учителей и школьников. Популярные, доступные, «занимательные». Но параллельно я писал совсем другие тексты — строго научные статьи для журнала «Практика функционального программирования», того самого легендарного издания, которое мы создали после звонка Льва Валкина из США.

Вот только была одна ирония: журнал назывался «Практика» функционального программирования, но все мои статьи в нём были чисто теоретическими. Лев настаивал на практических материалах, а я упорно писал теорию. У нас даже был конфликт, когда он вычеркнул из моей статьи про полиморфизм все биологические метафоры: «Больше чтобы такого не было!» Мы созванивались и спорили по обычному телефону — никаких Телеграмов тогда не было, только ICQ для переписки.

За время существования журнала я написал пять фундаментальных работ: «Функции и функциональный подход», «Алгебраические типы данных и их использование в программировании», «Полиморфизм в языке Haskell», «Полиморфизм, мономорфизм и экзистенциальные типы» и «Модель типизации Хиндли-Милнера и пример её реализации на языке Haskell». Это была серьёзная теория — с аннотациями, ключевыми словами, рецензированием, списками литературы. Полная противоположность «занимательным» эссе для школьников.

Когда журнал в 2011-м закрылся — как всегда бывает со звёздными проектами, начались дрязги, пересуды, угасание энтузиазма — у меня на руках осталось пять серьёзных научных работ. Решение пришло само собой: «Другие 14 эссе — серьёзные». К пяти журнальным статьям я добавил девять новых эссе, написанных специально для книги.

Новые материалы отражали весь спектр моих исследований на Haskell: от соглашений об оформлении исходных кодов до катаморфизмов, от генерации естественно-языковых фраз до работы с N-граммами. Но особенно важными стали два последних эссе — «Символьные вычисления на примере решения одной несложной задачи по квантовой механике» и «Решение некоторых задач по криптографии». Уже тогда закладывались камни в фундамент моих будущих направлений: квантовых вычислений и криптографии.

В отличие от первых «14 эссе», которые вышли в издательстве ДМК Пресс, эту книгу я издал в самиздате по собственной инициативе. Никаких технических сложностей — всё по отработанному шаблону в MS Word. Просто перенос материалов из журнала и добавление новых глав. 365 страниц серьёзной теории и практических примеров.

Так родилась дилогия подходов: «занимательные» эссе для начинающих и «серьёзные» — для тех, кто готов копать глубже. От магических квадратов в «Потенциале» до модели типизации Хиндли-Милнера в «Практике ФП». Мостик между популяризацией и наукой, между простыми объяснениями для школьников и глубокими исследованиями для профессионалов.

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

Готовы погрузиться в серьёзное функциональное программирование?

📚 14 занимательных эссе о языке Haskell и функциональном программировании: https://clck.ru/3MBnBA

📚 Квантовые вычисления и функциональное программирование: https://clck.ru/3MBn57

📚 Философия бессмертия: https://clck.ru/3MBmio

Потому что настоящее мастерство — это умение объяснить квантовую механику и школьнику, и академику. Просто разными словами.

Канал @drv_official — здесь знают, что теория без практики мертва, а практика без теории слепа.

#ТекстИКод