DS
тоесть у тебя не может быть своей реализации IO?
Это зависит от языка.
Size: a a a
2020 March 05
G
Это просто объект
p
Тут разница в том, что ты не можешь словить проблем из-за каких-то неявных побочных действий.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
ну в любом коде пока его не запустить проблем нет :)
DS
тоесть у тебя не может быть своей реализации IO?
В скале вон, IO реализуют кучей вариантов. Там аж несколько конкурирующих реализаций.
λ
оно по умолчанию грязное, так как при разных входных данных возвращает разные значения
main = let _ = print 10 in print 20 — эта программа выведет в консоль 20P
Тут разница в том, что ты не можешь словить проблем из-за каких-то неявных побочных действий.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
опять же -- обычное разделение слоёв, репозиторий читает/пишет в базу, контроллер принимает/отправляет запросы, а между ними сколь угодно чисто
p
main = let _ = print 10 in print 20 — эта программа выведет в консоль 20не всегда
λ
не всегда
ну
10\n20 она точно не выведетp
ну и ссылочная прозрачность это про возвращаемые значения?
p
а не про вывод
p
ну
10\n20 она точно не выведетя заблокирую извне вывод для программы, и она ничего не выведет
λ
ну и ссылочная прозрачность это про возвращаемые значения?
ссылочная прозрачность это про возможность подстановки вместо вызова функции возращаемого ей значения
P
ссылочная прозрачность это про возможность подстановки вместо вызова функции возращаемого ей значения
дружелюбность к кешированию
λ
дружелюбность к кешированию
дружелюбность к мозгу программиста в первую очередь
p
ссылочная прозрачность это про возможность подстановки вместо вызова функции возращаемого ей значения
тогда i всегда грязное
p
o чистое
p
ок
P
дружелюбность к мозгу программиста в первую очередь
к мозгу программиста дружелюбен сам код написанный программистами
p
хотя нет
p
оба грязных