AY
Я вот не могу понять как "IO gives you referential transparency." В IO же можно завернуть что-то, что читает из вне, имеет сайд эффект. результат может быть разным при одинаковых входных параметрах. какое тогда referential transparency. :(
Size: a a a
2020 January 24
V
Я вот не могу понять как "IO gives you referential transparency." В IO же можно завернуть что-то, что читает из вне, имеет сайд эффект. результат может быть разным при одинаковых входных параметрах. какое тогда referential transparency. :(
Сам IO (конструкция) будет тот же
V
А когда ты его запустишь - то уже можешь получить разные результаты
AY
как-будто речь про referential transparency на уровне компиляции, а в рантайме, когда ты его запустишь - то уже можешь получить разные результаты, т.е. будто нарушение referential transparency. Как-то бы прочувствовать и понять это лучше
Oℕ
IO - это тип данных
AY
понимаю
Oℕ
безопасные операции над этим типом данных не нарушают ссылочной прозрачности при условии использования чистых функций в комбинаторах
Oℕ
unsafeRun - не безопасная операция
Oℕ
IO[A] означает "процесс, производящий некоторый эффект и в конце концов производящий элемент типа А"
Oℕ
равенство двух элементов IO[A] подразумевает "процессы произведут одинаковое воздействие на систему, т.е. из одного стартового состояния система придёт в одно конечное состояние и произведённые результаты, если будут успешно построены будут равны"
Oℕ
в этих терминах операции над IO[A] сохраняют ссылочную прозрачность
AY
но ведь, в реальности " при условии использования чистых функций в комбинаторах" практически не соблюдается, поэтому и операции над IO[A] НЕ сохраняют ссылочную прозрачность!?
AY
просто пример, получили от пользователя запрос, выполнили процедуру в бд и вернули резульатат. Всё не чистое, в чем тогда профит от использования тут IO для оборачивая?
Oℕ
но ведь, в реальности " при условии использования чистых функций в комбинаторах" практически не соблюдается, поэтому и операции над IO[A] НЕ сохраняют ссылочную прозрачность!?
в реальности соблюдается
Oℕ
и операции над IO сохраняют ссылочную прозрачность
Oℕ
вы можете продемонстрировать пример, не сохраняющий ссылочную прозрачность?
Oℕ
просто пример, получили от пользователя запрос, выполнили процедуру в бд и вернули резульатат. Всё не чистое, в чем тогда профит от использования тут IO для оборачивая?
вы не выполнили процедуру в БД, когда сконструировали IO
Oℕ
вы вообще ничего не выполнили
Oℕ
вы сконструировали описание выполнения чего-то
Oℕ
эти описания можно композить