TK
Реальность такова, что побочные эффекты нужны, они просто отложены. В случае с хаскелем - аж до запуска программы.
Size: a a a
2021 April 27
ΑZ
Use a do binding when you want to execute code independently of a function or value definition. The expression in a do binding must return unit.
ΑZ
где оно есть-то?
DS
Неправильно рассматривать чисто техническую конструкцию как какие-то рецепты или другие аналогии.
Давай посмотрим как IO устроен: это банально тип вида
Просто функция с каким-то риалворд токеном, который определяет порядок выполнения действий и обеспечивает ссылочную прозрачность по её определению
Давай посмотрим как IO устроен: это банально тип вида
newtype IO a
= GHC.Types.IO (GHC.Prim.State# GHC.Prim.RealWorld
-> (# GHC.Prim.State# GHC.Prim.RealWorld, a #))
Просто функция с каким-то риалворд токеном, который определяет порядок выполнения действий и обеспечивает ссылочную прозрачность по её определению
DS
Смотри CE
TK
Кто-то должен быть грязным. Это RealWorld, значит.
TK
На уровне типов он чист
TK
На уровне выше уже нет
DS
Нет, просто ссылочная прозрачность - это вполне строго определенное и формальное свойство, и надо пользоваться им, а не какой-то мифической "чистотой" и "грязнотой"
DS
То что обычно понимают под чистым кодом - это формально обычно ссылочно прозрачный код
DS
И именно об этом и надо говорить
TK
Вот я тебя и спрашиваю, как рантайм не может быть грязным (исполнять побочные эффекты), если IO-монада чистая (работает с преобразованием старого состояния в новое)?
DS
Потому что тут надо говорить не про побочные эффекты, а про ссылочную прозрачность
DS
Про то, изменится ли поведение программы, если заменить вызов функции на возвращаемое ей значение.
TK
Ссылочная прозрачность есть? Есть. Повторный вызов одной и той же IO функции приводит к разным результатам? Приводит.
TK
Можно ли заменить вызов IO на значение? Нет, нельзя.
TK
В теории максимум можно
ΑZ
вот настолкьо сложно ИО сделать