Вот папир (мне кажется многие его читали) - http://curtclifton.net/papers/MoseleyMarks06a.pdf

Вот саммари - http://kmdouglass.github.io/posts/summary-out-of-the-tar-pit/

Меня от таких работ тоска берет. В философском смысле это все очень хорошо и полезно, но без разбора конкретных кейсов, это голая теория.

а можно tldr версию?

> out-of-the-tar-pit
ну почему его никто на русский не перевел за столько лет
все хочу почитать, но много букв на английском

Сек

Я так понимаю у Николая было упоминание в докладе https://youtu.be/XBfi3Q74BnE?t=1009

Короче авторы говорят, что софт слишком сложный, делят сложность на 2 категории:

Essential complexity - сложность, порожденная самой проблемой и решаемой задачей. Она нужна и от нее никуда не денешься.
Accidental complexity - вся другая сложность, которая не относится к проблеме:  сложность управления стейтом программы, всякая многопоточность, DI, перформанс хаки и прочие реалии нашей жизни.

Основной посыл заключается в том, что нужно избавляться от Accidental complexity чуть более, чем полностью.
А главной причиной всех бед они считают управление мутабельным состоянием. И если мы сможем это состояние загнать в одно место и вообще уменьшить его количество, тогда понимать систему будет легче, будет меньше кода и вообще всё будет заебись

и все такие пошли расчехлять свои tea

> Essential complexity / Accidental complexity

это вроде еще у Брукса было

https://ru.wikipedia.org/wiki/Серебряной_пули_нет

Вот как раз эта часть довольно бредовая. За все хорошее против всего плохого и оно так просто никогда не работает

tea, кстати, как и другие UDF-архитектуры - огромный скачок вперед по сравнению с MVC из смолтока.

Конечно никогда не работает))
Но это не значит что не надо к этому стремится)

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

А кто сказал что он замечательный?)
(не хочу уходить в эту степь, просто хотел сказать что не разделяю этого мнения).

Это тоже спорный вопрос. Никакая "архитектура", а тем более "архитектура работы с данными" не решает всех проблем. Единственное, что она может сделать - породить религию. После этого адепты будут пихать ее где надо и где не надо. Архитектурный подход смолтолка в некоторых случаях идеален

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

В "некоторых"? Да он во всех идеален!!111одинодинодин

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

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

на распределёнку недотянули, и синтаксис для контейнеров шизнутый