В этом канале вы найдёте публикации и новости Романа Душкина, директора по науке и технологиям Агентства Искусственного Интеллекта.
Когда серьёзное становится книгой
В 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 — здесь знают, что теория без практики мертва, а практика без теории слепа.
#ТекстИКод