Alexander Granin - Lambda Calculus MC

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

Чарли Кирк, 31 год

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

Символизм его убийства таков, что резонирует даже у людей вне политики США. Мне горько от того, что там происходит, потому что это не про отдельного человека. Это про все институты, захваченные радикальными левыми силами, которые сегодня празднуют убийство без всякой мысли, без мысли, что это - зло.

Не могу молчать.

Стрим в 15:00 по Вьетнамскому времени (через 30 минут):

Новое дно леваков

https://youtube.com/live/yziqSrnO2Rw?feature=share

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

Хотел бы поделиться двумя своими репортажными роликами о фантастике, снятыми на фоне моего геймплея.

Про системы магии в фэнтези

Что такое системы магии и почему геймификация магии (как у Сандерсона) сейчас более популярна, чем поэтико-мифологический подход (как у Толкина).

https://youtu.be/cNVdDCwnJYg?si=SdHSiHKdlY42yvVT

Про концептуальную фантастику

Что это такое, какие бывают категории концептуальной фантастики на примере нескольких знаковых произведений.

https://youtu.be/p149661Lg4M?si=_Nx1t5XIWQwzLqIN

Я сейчас только фантастикой и занимаюсь. Главная задача - написать научно-фантастический роман, которого готова примерно половина. Это произведение о математике Грампусе Грисеусе и об очень необычной мультивселенной со своей физикой, которую персонажи изучают с научной точки зрения. Роман про пределы познания, математичность мира, место человека в будущем.

<-временно отредактировано; кусок сообщения вернется через два месяца-> И надо сказать, я стремлюсь писать так же сильно, так же идейно, как Лем, Стругацкие, Кларк. По некоторым причинам не могу сейчас говорить больше.

Вообще, мои произведения - это неявный манифест о том, что научная фантастика, увы, не в почете. Я понимаю, что моего читателя почти нет. Не читают, потому что "сложнаа!! нипанятнаа!!", а внимание отбирается жвачкой, которую продвигают на всех уровнях. Мы живем в мире намеренного оболванивания, фейков, упрощения, экзальтации ради привлечения внимания. "Казаться, а не быть". Все поверхностное, крикливое, глупое, и при этом яркое. Как попугай. Шума много, смысла нет. А люди ведутся.

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

Я жду новые времена. Жду новую глубину. И сам ее создаю.

Книгу "Проектирование на уровне типов" (ДМК-Пресс) берут в допечатку. Видимо, изначальный крохотный тираж (100 экз) был раскуплен.

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

Какого-нибудь социального комментария по поводу хаскельного сообщества сегодня не будет.

В помощь Алексею Жидкову, в прошлом - программисту из Новосибирска, публикую его приглашение к участию в исследовании.

С Алексеем мы пересекались в рамках моего новосибирского митапа по ФП LambdaNsk, на почве нашего общего интереса к ФП.

Сейчас, как я вижу, Алексей - Kotlin-разработчик, применяющий и продвигающий принципы ФП в этой экосистеме (ознакомьтесь с его докладами с конференции Joker, например).

Исследование касается поддерживаемости проектов. Я и сам заполнил анкету, взяв за вооружение один из проектов. Мог бы заполнить ее десяток раз, поскольку за 15 лет сталкивался с очень разными кодовыми базами. Но чувствую, я немного ангажирован, поскольку непоколебимо считаю, что практики дизайна и архитектуры критически необходимы для поддерживаемого кода. Если бы индустрия так не деградировала в смысле предательства инженерии, этот тезис даже не вызывал бы сомнений. Но она деградировала. Поэтому исследование Алексея полезно в целом.

---

🧪 Исследование для backend-разработчиков
Наши коллеги проводят исследование, посвящённое поддерживаемости кода backend-ов: какие из известных подходов к разработке действительно упрощают жизнь разработчиков.

Если вы работали хотя бы три месяца над зрелым проектом, находившимся в разработке не менее полугода до вашего прихода — поучаствуйте, пожалуйста, в опросе.

📋 Это займет около 20 минут.
Ваши ответы помогут всему сообществу разработчиков лучше понять, что действительно влияет на поддерживаемость кода — вне зависимости от языка и фреймворка.

📊 Результаты исследования будут опубликованы осенью 2025 года на сайте: https://maintable-backends.tilda.ws/

👉 Принять участие: https://forms.yandex.ru/cloud/685ccc62eb614635657832a4

Провожу игровой стрим в честь своего дня рождения:



https://youtube.com/live/2MRvXyZ5_2I

Это уже давно не новость.

Куча книг, занимающих магазинные полки, написана роботами.

Можно возмущаться и негодовать, но такова реальность. Иные авторы строчат по четыре-шесть романов в год, используя GPT технологии, и никому не говорят. Точно так же, как предыдущие авторы строчили по четыре-шесть романов в год, тайно используя рабский труд литературных негров. Чаще всего это плоская одноразовая жвачка. Глупые и банальные произведения с плохими идеями, никакой логикой, массой ошибок и общей бессмысленностью.

Это не литература, это контент для удержания внимания.

Точно такой же контент, как и везде. 99% всего этого могло и не быть, и человечество бы не пострадало.

У большинства контент-мейкеров нет никакой сверхзадачи, кроме как паразитировать на человеческой природе. Любая сверхзадача, например, философия или интеллектуальность, здесь только мешает. Да и при всём желании, – для интеллектуальности и философии у контент-мейкеров просто нет мозгов.

К чему это я?

Я решил поставить эксперимент, чтобы понимать, что нас ждет.

Я задумал "Саркофаг времени" давно и даже начал его писать. У меня была своя НФ-идея и свой уникальный взгляд. Я хотел написать произведение со сложными парадоксами, в духе лучшего НФ 20-го века. Сделать его эмоционально насыщенным, с неудобными персонажами, которых мне самому будет сложно выписывать. Это уже тогда был эксперимент “пиши по велению сердца, а не мозга”.

Но история повернулась иначе. Напрашивалась другая фабула, другая философия. И, вероятно, другой подход.

Тогда я решил посмотреть, на что способен ChatGPT.

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

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

Нет, я не собираюсь писать с помощью ChatGPT. Я также не ставил себе целью создать нечто существенное. Иные произведения будут по-прежнему писаться “голыми ручками”. А лучшие – только так и могут быт написаны.

Но получившаяся история трогает меня до глубины души. Такого я не ожидал.

Да, скорее всего, у произведения будет 0 прочтений. Почему? Потому что я честен с аудиторией и не скрываю. А вот те, кто скрывают, пичкают вас этим каждый день, и вы даже не подозреваете.

Но если бы этот инструмент попробовали великие авторы, например, Лем, то я бы прочитал с большим интересом. Потому что настоящие авторы не исчерпываются использованными инструментами.

https://docs.google.com/document/d/1eDEUQQJ-ig1xwV5wGqTWWfQhTpC_cfxBVU0CwRas2gA/edit?usp=sharing

P.S. Есть существенная разница между технической и художественной литературой. И нужно говорить о каждом случае отдельно.

Микрорассказы.

1. Бог сидел во Вселенной. Сплевывать было некуда.

2. Мама мыла рагу.

3. Рагу: врагу и оврагу.

Замечательные новости! В издательстве ДМК-Пресс вышла в продажу моя книга:

"Проектирование на уровне типов. Системный взгляд на дизайн и архитектуру"

https://dmkpress.com/catalog/computer/software_development/978-5-93700-379-9/?srsltid=AfmBOoqqVMDRj-Dabl2Y54XPjY5mZYiDYmzuZC0y-KbOn3DFCWxc1eUi

Книга о разных подходах на уровне типов, в том числе о расширяемости, о паттернах проектирования, о создании eDSL, о моделировании предметных областей, о следовании принциу make invalid states unrepresentable, о способах обеспечения и проверки корректности, об интерфейсах на уровне типов, и о том, как это всё объединить в архитектуре приложения.

Для трёх языков сразу: Haskell, Rust и Scala 3.

Книга доступна для заказа и, возможно, поступит в какие-нибудь магазины.

В английском варианте она же "Pragmatic Type-Level Design", выпущена самиздатом на LeanPub.

https://leanpub.com/pragmatic-type-level-design

Меня не устраивают почти все существующие материалы по программированию на уровне типов в языках Scala 3 и Rust; особенно - в Haskell. Эти материалы, пусть сколько угодно популярные (например, труды С. Магвайра, - широко распиаренная и везде упоминаемая самиздатная книга "Thinking With Types"), не имеют ряда важных свойств, которыми обладает моя книга:

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

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

Англоязычный вариант книги был написал и опубликован полгода назад, в декабре 2024 года. Почи в тот же момент издатели ДМК-Пресс вышли на меня и предложили её опубликовать. Переводил не я, но я сильно книгу отредактировал. Переводчик, в целом, молодец, но пришлось чистить за ним канцелярит и исправлять множество ошибок. И еще повоевать с переводчиком за правки.

Книга вышла. Ожидаю новых читателей.

Я, ухожу из IT, вхожу в фантастику?

Такой стрим проведу сегодня на Ютуб-канале (русский + английский).

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

14 июня, 20:00 по Вьетнамскому времени.
https://youtube.com/live/x2fuciA5dAU?feature=share

Как хорошо, что выходят новые книги по Haskell!

И сообщество такое благодарное, что заваливает автора обожанием и комплиментами!

Ну ещё бы. "Magical Haskell" — это:

• книга о типах!
• книга о математике!
• книга о первопринципах!
• книга о «полностью уникальных паттернах»!
• brilliant and novel!
• и, что особенно, особенно важно — книга о LLM и AI на Haskell!

Просто killer-combo какое-то.

Давайте насыпем книге лайков на Reddit'е (230+), и оставим кучу хвалебных комментариев просто за то, что нам так нравятся эти темы.

Изначально книга публиковалась на LeanPub и была... 77 страниц (на 70% готовности). А теперь её опубликовал APress: там она подросла до 400 страниц и продаётся за $60.

https://www.amazon.com/Magical-Haskell-Functional-Programming-Intelligence/dp/B0DQGF9SL7#averageCustomerReviewsAnchor

Только вот... Даже в "толерантном" r/haskell, где книгу действительно завалили лестными комментариями и лайками, некоторые читатели не побоялись высказать критику:

"This is total AI slop. Absolute garbage. <...> Based on the factual inaccuracies of the author's previous work, the very strange phrasing, the nonsensical ordering of chapters, the buzzword filled description, combined with it being a genAI focused book. I have strong suspicions that the book is at least in large part created by an LLM and/or the quality of the book is so poor that it is equivalent to an LLM."

"Agreed, your points are all valid, and for anyone who has spent any amount of time talking to LLMs, the overall incoherence of the text and the structure of the book immediately screams AI slop."

https://www.reddit.com/r/haskell/comments/1k5bbll/a_new_book_on_haskell_type_theory_and_ai_from/

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

Читать я книгу не буду — просто поверю отрицательным отзывам. Когда сообщество единым порывом устраивает карго-пляски вокруг чего-то — я прохожу мимо. Да и пост о другом.

Мне уже давно ясно, что оценка деятельности в Haskell базируется не накачестве, а на приближённости к установленным нарративам. Сообщество готово отвесить лайков и репостов за одни только упоминания математики и зависимых типов, не вдаваясь в детали и подробности. Да даже вопреки объективным свидетельствам плохого качества — особенно если автор "свой". А если не "свой" (например, он отменён) — будут игнорироваться самые объективные свидетельства высочайшего качества.

Например, мои книги. FDaA и PTLD — это лучшее, что публиковалось в Software Engineering за последние пять лет. И признание этого сообществом было бы актом интеллектуальной честности и соблюдением merit principle. А пока этого не происходит, многолетние нарративы будут продолжать давлеть над языком, закапывая его ещё глубже.

Вот вам три замечательных ролика про идеологию Woke.

1.Обзорный репортаж, где всё разложено по полочкам.

"Как Запад заболел левой woke-идеологией и к чему это привело."
https://youtu.be/kvfToj8eVoo?si=ss2nv_vhz1DEJsq5

2. Хороший подкаст о распаде американской науки и образования. С примерами, ссылками, именами, событиями.

"Левые в университетах. Психология и идеология Часть 2"
https://youtu.be/Fw5ru8nvujY?si=WQUwYuL3hLPkMKHD

3. Репортаж о том, как американские университеты стали гнездами активизма, предав изначальные принципы. С примерами и фактами.

"Why Colleges Are Becoming CULTS"
https://youtu.be/0hybqg81n-M?si=7_1rSBodAoOXdlN5

Еще можно почитать о Культурной Революции в Китае, о хунвейбинах и о том, что вытворял Мао. Хорошим стартом будет начало романа "Задача трех тел" Лю Цисиня, или вот этот кусочек великолепного канала RocketMan с исторической справкой:

https://youtu.be/iqmnrJ13Z1Y?si=unTzngtAhUcnBX9t&t=425

Но как это связано с современными тенденциями, спросите вы? Посмотрите данный обзорный ролик:

"Is Maoism Coming to America?"
https://youtu.be/9hCr6XNHoIw?si=dKzuzPKypZ5qnbhl

Если и этого окажется недостаточно, вот вам мой плейлист с 200+ с лучшими материалами по теме.

https://youtube.com/playlist?list=PLH9u8ryqg1WtM7KdZjxFZG-UzyxE13thS&si=K5aiZECGJjC805zD

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

Перевод Pragmatic Type-Level Design для издательства ДМК-Пресс готов. Но мой переводчик какой-то борзый.

Месяц назад он прислал первую главу со странными, иногда быдляцкими оборотами. Выбор слов у него тоже странный, да и термины переведены спорно. Я взял красную ручку и сделал редактуру. Кроме того, предложил перевести "boilerplate code" как "шаблонный код" вместо "трафаретного кода". Переводчик обиделся:

"Я прочитал правки. Скажу откровенно: если бы эти правки вносил обычный редактор, я бы отверг большую их часть, назвав вкусовщиной. <...> Я всегда перевожу «трафаретный», а, поскольку книг перевел довольно много (ну раз в сто больше, чем Вы написали), то шансы обнаружиться где-то еще довольно высоки"

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

Надо сказать, стиль у него не очень. Английский текст не следует переводить канцеляритом. Если в английском языке безглагольные предложения с "is" и "are" вполне обычны и входят в повседневную практику, то в русскоязычном тексте это смотрится искусственно, даже академически. Учебные тексты превращаются в справочный материал из не самой хорошей энциклопедии.

Так что мне предстоит перевод сильно отредактировать. И проверить факты; переводчик не всегда понимает, что переводит. Например, мое правильное "DNA nucleotides" он перевел как "ДНК белки".

Редактура и последующая работа займут еще пару месяцев. Возможно, к концу лета мы даже получим книгу на русском.

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

Такой отзыв я получил из ДМК-Пресс на книгу Pragmatic Type-Level Design. Не боятся же там нишевых книг, а еще они интеллектуально честны, раз оценили мою по ее реальному достоинству.

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

Вышел мой доклад:

"Type-level interfaces in Haskell & Rust: pragmatic type-level programming" (Functional Conf 2025)
Я также написал статью про эти интерфейсы в дополнение к докладу.


Видео:
https://youtu.be/vKAuSD0RnmY?si=-_L-5QtNVd86-BuZ
Слайды:
https://docs.google.com/presentation/d/1Pi_p_a8Wvbl1MXNl_VsDMxcsSYq8FUPghZk8seVOvcs/edit?usp=sharing
Статья:
https://github.com/graninas/type-level-interfaces-in-rust

А, да, и еще. Я зарелизил версию 1.1.0 книги Pragmatic Type-Level Design. В нее вошли последние исправления и улучшения, замеченные мной и другими с прошлого релиза.
По ссылке ниже можно приобрести PTLD с 33% скидкой.
https://leanpub.com/pragmatic-type-level-design/c/rust_promo_33

Сегодня я презентовал доклад "Type-level interfaces in Rust and Haskell" на Functional conf 2025 online.

Как же хорошо работает CPAP терапия, которую я начал прошлой осенью. Моя речь восстановилась и существенно улучшилась. Я сплю теперь замечательно, часто вижу сны и высыпаюсь. Дневного залипания больше не требуется. Энергии хватает на весь активный день. Мозги работают лучше, и писать я стал тоже лучше. Все-таки obstructive sleep apnea очень подлая зараза, да.

Вот слайды доклада:

https://docs.google.com/presentation/d/1Pi_p_a8Wvbl1MXNl_VsDMxcsSYq8FUPghZk8seVOvcs/edit?usp=drivesdk

Видео должно подоспеть через пару недель.

​​Крысы бегут с тонущего корабля 'демократической' партии.

Компании выбрасывают на мороз DEI departments. Цукерберг анонсирует коренные изменения в политике Меты и рассказывает в интервью Джо Рогану, как их притесняла Байденовская администрация. Выяснилось то, что мы давно знали, но что называлось конспирологической теорией: в Фейсбуке (и других соцсетях) подавлялось инакомыслие, царила чудовищная цензура, и банились/шадоубанились люди, бегло заподозренные в несении правды. А еще Цукерберг теперь донатит республиканцам, и нет, не потому что ему грозит тюрьма за деплатформинг президента Трампа и нарушение Конституции, а потому что Цукерберг такой правильный и принципиальный.

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

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

Только нам уже не дадут ни той власти, ни тех ресурсов.

Разве будут созданы департаменты критического мышления и рационализма, где можно будет плевать в потолок и получать $300К в год? Нет. Разве будут соцсети продвигать посты и высказывания рационального толка, как искусственно запихивались нам в глотки идеологические директивы? Тоже нет.

Нам скажут: так мы за справедливую конкуренцию идей, и всегда были за нее, чего бы нам продвигать одну точку зрения. Барахтайтесь сами. Хотели же работать? Вот, работайте. А то, что вы были всю дорогу правы, и что мы вас притесняли, ну а с кем не бывает. Никто, конечно, не компенсирует ни оголтелый газлайтинг, ни травлю, ни годы презрения, ни деплатформинг, ни иные притеснения. Никто не извинится. Где мои недополученные десятки тысяч долларов из-за клеветнического разрушения моей репутации в хаскельном сообществе?

Таким образом, DEI, повесточка и идеология вредили, когда были политической платформой мошенников-лгунов-лицемеров-марксистов-социалистов леваков, да и часто - левацкой фашиствующей братии (см Тревис Браун), а после своей смерти эта идеология будет вредить, потому что всё везде отравлено на годы вперед.

Хватит уже слушать этих бездарей и мошенников.

Написал новый рассказ:

"История доктора Мотеки"

https://graninas.com/2025/01/10/%d0%b8%d1%81%d1%82%d0%be%d1%80%d0%b8%d1%8f-%d0%b4%d0%be%d0%ba%d1%82%d0%be%d1%80%d0%b0-%d0%bc%d0%be%d1%82%d0%b5%d0%ba%d0%b8/

Рассказ в жанре мистического психологического триллера. История про психиатра Августа Мотеки, который столкнулся с необъяснимым в лице пациента Клауса.

Но история куда больше, чем просто рассказ. В нем полно скрытых моментов, много символики, психологизма. Есть и странное обстоятельство из нашего реального мира. В рассказе фигурируют четыре сотни чемоданов на чердаке одной американской лечебницы (Willard asylum), которые действительно были там найдены. Их оставили бывшие пациенты. Этот необычный и в чем-то мистический факт вписался в историю прекрасно.

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

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

Всех с Новым Годом!

Я встречаю его в Малайзии, второй год подряд. Потрясающая страна.

Люблю Азию и азиатскую жизнерадостную культуру. И еду, конечно!

Один доклад на Functional Conf 2025 online, кстати, приняли. Вот этот:

Type-level interfaces in Haskell and Rust: pragmatic type-level programming


Описание доклада:

https://confengine.com/conferences/functional-conf-2025/proposal/21230/type-level-interfaces-in-haskell-and-rust-pragmatic-type-level-programming?notification_id=193861

Если вкратце, то с помощью интерфейсов на уровне типов можно создавать предметно-ориентированные языки а-ля Servant, но без всяких хаков и с более хорошими свойствами (расширяемость, унифицированность, более удобный синтаксис и тп). Мне даже удалось показать, что концепция переносится на другие языки. В книге Pragmatic Type-Level Design я демонстрирую Rust и Scala 3. На докладе будут Haskell и Rust.

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

Я больше не пишу хаскельных книг.

Разных тем осталось очень много. Можно было бы написать о продвинутой магии на типах (линейные, зависимые типы). Можно было бы рассказать о разработке игр на Haskell. Я лично мечтаю о большой книге про предметно-ориентированные языки: как внешние, так и внутренние. Паттерны и идиомы тоже толком не описаны. То что есть сейчас - неполное, неправильное, написано плохо, без общего понимания Software Engineering, без прагматизма. Как сочинение студента, который слова повторяет, а сути не видит.

Не так много людей в Haskell способны рассуждать о разработке ПО на уровне сеньоров и архитекторов. Мало и хороших авторов, которые пишут для обычных смертных, а не для статусности в своей элитной касте. Пересечение этих множеств и вовсе исчезающе узкое.

Я себя из этого множества извлекаю. Писать что-то для Haskell уже нецелесообразно.

Я начинал FDaA, когда у Haskell еще был шанс стать популярнее. Я даже припозднился; шанс был в 2012-2016 годах. Я видел эту потребность, но словно бы об стену бился. Никто со мной не хотел и не мог говорить о высокоуровневых подходах и практиках, об архитектуре и принципах. Мне совали всякую чушь: "ты ничего не понимаешь, мальчик" и "иди читай пейперы", "не знаешь ТК, не контрибьютил в GHC - не хаскеллист". Плюнув на это узколобие, я в 2016 сел писать о своем видении, которого так не хватало. Но уже было поздно.

Сам дух моего сопротивления был продиктован социальной обстановкой. То, о чем я писал, воспринималось ересью. На некоторое время моим оппонентам даже удалось меня закопать. В 2017м мой контракт с Manning был разорван, потому что больше половины приглашенных ревьюеров написали резко отрицательные рецензии.

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

Мои книги и моя позиция по многим вопросам есть вызов статусу кво в коммьюнити. Но раньше у меня была потребность в этих знаниях, а сегодня у Haskell нет шансов, да и большого смысла в нем тоже нет. Дух Haskell переселился в Rust, OCaml, Scala и даже C++, оставив после себя бесперспективную оболочку. Haskell умер, и я не верю в его возрождение.

Я черпал энергию из разлома между мной и определенной прослойкой хаскеллистов. Мои оппоненты (а лучше сказать - хейтеры, вредители) невольно помогали, потому что своей узколобостью показывали мою правоту. Но в долгосроке подобная иррациональная ситуация губительна. Ну с какого хера ценят всяких болтунов, активистов и ноунеймов, а не авторов важных книг? Это нонсенс.

Поэтому я больше не пишу хаскельных книг.

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