Как хорошо, что выходят новые книги по 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. А пока этого не происходит, многолетние нарративы будут продолжать давлеть над языком, закапывая его ещё глубже.