А по-моему норм подход ) Бразильский Нюбанк тоже вместо того чтобы покупать дофига инстансов и лицензий Датомика просто купил весь Когнитект (Кложа кор тим) и все )

Чтобы такое позволить, надо быть банком >_>

you just need to…
learn haskell and apply for a job

Сорри за баянище, но каждый раз вспоминается при словах you just need to learn some haskell
https://ro-che.info/ccc/images/resume.png

"Культура — это палимпсест, один посрёт — другой поест!" (с) Псой Галактионович Короленко
Да, припев два раза.

Другой подчерпнёт

плохая шутка. в одном Standard Chartered больше 60 хаскелитов

Я не рискую исправлять Псоя Галактионовича. 😂

а, простите

любое творение основывается на предыдущих — это было всегда

а в постмодерне любое творение чуть более чем полностью состоит из предыдущих

Приведенный контрпример не делает шутку плохой. Просто при его отсутствии она была бы правдой 😁

Ребят, а какие альтернативные модели ИО есть, кроме "монада на монаде, наш мир чист, и реальный мир это значение"?
Быть может, что то похожее на FRP, с разделением на комонадный ввод и монадный вывод?

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

Типа, вся эта затея с ИО упирается еще в семантику для лямбда-исчисления из 70ых, а тогда про многапотоков не думали, и в принципе моделирование коммуникаций как то хромает все еще.

Есть ещё "протащить World# линейным типом сквозь всю программу руками", а-ля Clean/Mercury.

Монады не для этого, а для установления последовательности вычислений

И чтобы IO коллбэками явно не писать, а-ля node.js до промисов

Монады в целом присваивают семантику прикладным языкам, здесь даже не в последовательности дело, это простейший случай.
Tardis monad, наверно, можно привести как пример.

Сейчас, насколько я понимаю, ИО моделируется именно как State RealWorld# a. А семантика, вместе с неблокирующим ио, потоками, и прочими чудесами, скрыта в рантайме.

Зачем Input объединен с Output? Типа, раз мы State можем представить как композицию Reader.Writer, какая причина не дает сделать так же с ИО?

Можно взять систему эффектов и в ней сделать какие нужно эффекты (раздельно ввод от вывода, например).

Например, как? :)

И я в конце концов все равно упрусь в IO, потому что это и есть форточка в рантайм.

Да, с этим ничего не сделать. Как и с тем, что все в конечном итоге работают в ReaderT EnvOfTVars IO