а что тогда? фри-монады, или сильная связность?

Нет, не обязательно. Тут конкретно есть дополнительный тайп класс к основному "сырому" интерфейсу, но в ряде библиотек дают только mtl / FT, и пляши, как хочешь.

Сужают дизайн спейс для пользователя, делают за него решения.

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

о! что это за оазис здравого смысла посреди пустыни?

ну плохой интерфейс он может быть и на сыром метод-словаре сделан.

Ну и STM транзакции лучще делать небольшими, а потому стек трансформеров вокруг STM оказывается не особенно полезен

Я еще и не так могу! 😊

Самая большая проблема в Хаскеле - не техническая, а социальная.

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

Документация плохая, по-прежнему.

Хаскеллисты, самые видные из них, не особо интересуются Software Engineering. Слова "Software Design and Architecture" для них ничего не значат. Accidental / Essential complexity - неизвестно что и неизвестно зачем.

Но очень много новояза, который внешнему миру неизвестен. Два самых таких крупных термина - это expression problem и системы эффектов. А в остальном мире говорят "extensibility" и "подсистемы".

К счастью, практики и подходы Software Design таки появились, и начали распространяться.

Но всё еще недостаточно материалов. Ждем, например, книгу Сэнди "Algebra Driven Design". Кто-нибудь ему донатит, читал уже драфт?

Про задачи бизнеса, это, конечно в точку.

а че, на самом деле известно?

Но я все равно считаю Хаскель почти неисчерпаемым источником вдохновения и неполхим челенджем на пути саморазвития.

и вообще он не нужен, JS же, а технический долг не существует :-P

Но вот эти борцы за чистоту, которые абсолютно не догоняют, что процентов 80 современного коммерческого софта это бесконечное IO и содомия, меня умиляют.

Ну если принять тезис, что объективная реальность нам дана в ощущениях, то ощущение, что известно - есть

npm install сделай-мне-хорошо

А где-то был отзыв Брагилевского на Thinking With Types? Кажется, тут была пара сообщений от Завьялова, в духе "местами чушь", но больше не видел

Недавно был очередной прикол. ZIO на Скале хвалился тем, что теперь асинки стали НА ПОРЯДКИ БЫСТРЕЕ.

А почему Гранин "мамкин" архитектор? В чем его незрелость, по-твоему, заключается?

PureScript уж тогда

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