просто есть еще один слой.

в сишке ты запускаешь непосредственно программу
в хаскелле ты запускаешь интерпретатор который интерпретирует твою программу

Значение типа IO a все еще ссылочно-прозрачно

рантайм сделал уже ио и что-то там заменил

Ты путаешь себя какой-то заменой, очисти разум и прочитай про ссылочную прозрачносить и IO в хаскелле с самого начала

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

короче представь у тебя первична иммутабельность, неявный ленивый флоу и еще пара трюков. и в этом мирке ты должен
1. делать явным флоу
2. развязать флоу функций String->String которые например читают из файла так чтобы они притворились не зависящими от параметров, тоесть твоя функция отдает функцию которая должа вызываться неким World и отдавать некоторый World.

3. ты замечаешь что это не особо накладно и работает
4. профит!

и я по сути просто пересказал кусок https://wiki.haskell.org/IO_inside

ничего не понял, но очень интересно

вы сами начали про замену говорить

вот - https://alvinalexander.com/scala/io-monad-doesnt-make-function-pure-obvious-impure/

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

в хаскеле по другому не сделаешь

Чтобы получить бенефиты ссылочной прозрачности

а в скале вот одерски тоже не понимает

насколько я понял они заканчиваются на метке IO

а это можно сделать не так напрягаясь

IO тебе говорит что функция грязная грубо говоря

да

...и на этом все заканчивается. тролфейс.жпг

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

и тут начинаются фри монады и ТФ