Для сравнения

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

Эта логика такая же как раньше модно было говорить что типа на immutable by default языках ни в коем случае не надо программировать, потому что памяти не напасёшься копировать данные. Ретроградство, как мне кажется.

Не объяснили дурачкам, зачем нужно, значит не изучено

На default языках написано столько проектов, и там столько компаний, что там можно и поэкспериментировать. Одним проектом больше, одним меньше, - никто не заметит. Но для Хаскеля это критично, и для его выживаемости стоит избегать рискованных решений. Пока его не станет достаточно много

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

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

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

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

Там в абстракте написано. :)

Завтипы тоже на дизайн in large претендуют

Гуевые гномовские (гэтэка) либы встали отлично, все заработало. Это я был тупой, не разобрался в вашем, т.е. нашем хаскеле. В плане подготовки хаскеллю минус. Я не встречал таких сложных в подготовке ЯПов. Вроде в питоне и в джаве, и в си, си++, скачивать ничего не надо, просто написал import, include и все встаёт(за исключением специфических случаев с пайтоном), но там не надо создавать новых файлов. Недоработка, ребят, не обижайтесь!

Ну я например на питоне иногда пишу, когда мне нужно фронтенд для интернет радио своего сделать. Если нужно данные в энтерпрайзе перекладывать из одного места в другое никто тебя не заставляет использовать эффекты с row polymorphism'ом, паттерны программирования от Сноймана или зависисые типы. :D

Такое ощущение что завтра IO монаду деприкейтнут, честное слово.

👍👌

Ну уж про С++ вы загнули

Так это ещё прочитать надо, а зачем вменяемому человеку вообще открывать пейпер? Пусть напишут на хабре понятными словами

Интернет радио? Это которое музычку транслирует, или можно SDR-кой порулить?

Так на хабре не пишут ничего полезного лет 10 почти

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

:(