Ну я бы не сказал.

MTL в хаскеле норм работает, если не нужно городить свои трансформеры. Коты в скале - тоже. Т.е. на котах в прод писал, в tf стиле, каких-то особых проблем с деливером value не заметил.

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

Как и везде, свои подводные камни есть, но и свои плюсы тоже.

Я как-то пару лет наблюдал за командой в загончике напротив. Парни излучали энтузиазм, писали на дотнете на самых продвинутых технологиях, но за полтора года ни одного релиза

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

там же видел Тима Брея, писавшего на голанге, лол

завидовал небось

ну я с этим согласен.  я даже до сих пор допускаю, что где-то что-то крупное на эту тему пропустил

ну это как завидовать профессиональному игроку в покер

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

Мне обычно приходится работать, к сожалению.

Я писал дофига на том же стандартном энтерпрайзном шарпе и каких-то катастрофичных проблем в работе с эффектами в mtl стиле я так и не увидел.
Вполне рабочий подход (с некоторыми но - если речь про скалу, но обходимыми).

А про final tagless - я как-то котлинистам на нём eDSL помог проектировать, все остались предельно довольны результатом. Надо всё же разделять final tagless как подход к проектированию eDSL и mtl - как eDSL над эффектами.

Гранин предвзят. То есть я писал в своё время на фри монадах, так как говорит об этом Гранин.

Достаточно сомнительный экспириенс, если честно. В особенности, когда речь заходит про интеграцию либ и т.п.

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

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

Нет, eDSL - там, где они позволяют что-то выиграть.

То есть взять для контроля эффектов eDSL - это нормальный вариант, если хочется контроля эффектов.

для того, чтобы вообще можно было иметь dsl - хост язык должен иметь возможности для этого, что-то побольше, чем do или for {}.

eDSL можно делать и без смены синтаксиса языка

это у вас кодовая фраза такая, что ли? какой контроль и каких эффектов?

тогда это не dsl, не так ли? тогда это просто хостовый язык