Oℕ
и это вполне реально
Size: a a a
2020 January 24
V
я так понял, что примером будет что-то типа IO(readByteFrom("/dev/random")), и результат выполнения двух таких ио будет разным
AY
ну да, на этапе компиляции возможно, что всё ок и есть ссылочная целостность. Или речь как раз про это? А вот когда запустили, и пошло реальное выполнение, процедура в бд для одинаковых входных в разное время вернет разные результаты. Правильно ли понимаю, что вся речь про ссылочную целостность именно на этапе компиляциии?
Oℕ
Vasiliy
я так понял, что примером будет что-то типа IO(readByteFrom("/dev/random")), и результат выполнения двух таких ио будет разным
нет
Oℕ
не на этапе компиляции
Oℕ
при чём тут этап компиляции
Oℕ
Vasiliy
я так понял, что примером будет что-то типа IO(readByteFrom("/dev/random")), и результат выполнения двух таких ио будет разным
выполнения одного и того же ИО будет разным в зависимости от исходного состояния системы, при одинаковых состояниях системы, результат и эффекты исполнения одинаковых IO будет одинаковым
λ
Видимо есть недопонимание, что такое IO
Oℕ
ну да, на этапе компиляции возможно, что всё ок и есть ссылочная целостность. Или речь как раз про это? А вот когда запустили, и пошло реальное выполнение, процедура в бд для одинаковых входных в разное время вернет разные результаты. Правильно ли понимаю, что вся речь про ссылочную целостность именно на этапе компиляциии?
ссылочная прозрачность (не целостность) - это динамическое свойство формальной системы
Oℕ
поэтому нет, это относится именно к тому, как эти значения будут конструироваться
Oℕ
динамическое - значит важна семантика, в нашем случае - исполнение
AY
В данном контексте "ссылочная прозрачность" == некое вычисление заменяем его результатом и общий смысл программы не меняется?
Oℕ
В данном контексте "ссылочная прозрачность" == некое вычисление заменяем его результатом и общий смысл программы не меняется?
почти, но это скорее описание на естественном языке, чем строгая формулировка.
Oℕ
скажем так
writeUser(user: User): IO[Unit]
writeUser(user: User): IO[Unit]
Oℕ
val write = writeUser(user)
write *> write
сконструирует значение эквивалентное
writeUser(user) *> writeUser(user)
Oℕ
эти два значения совершенно реально произведут одинаковое воздействие на систему в каком-то состоянии
D
Vasiliy
я так понял, что примером будет что-то типа IO(readByteFrom("/dev/random")), и результат выполнения двух таких ио будет разным
Если взять две одинаковые вселенные и в них выполнить, то будет одинаковый результат
Oℕ
таким образом значения типа IO[Unit] и вообще IO[A] не менее проблемны, чем строки или числа
V
Если взять две одинаковые вселенные и в них выполнить, то будет одинаковый результат
да, всё так, я попытался упростить смысл примера вопрошающего.
Oℕ
поэтому проблема процедурного подхода в том, что композиция - в нём означает интерпретацию\выполнение