AZ
Об этом и речь
человек хочет писать эффекты в чистых функциях
Size: a a a
2020 April 01
AZ
алё
p
а в сишеке - нет
все равно потом сделаешь
res = do
res <- a
и получишь нечистое значение
res = do
res <- a
и получишь нечистое значение
AZ
все равно потом сделаешь
res = do
res <- a
и получишь нечистое значение
res = do
res <- a
и получишь нечистое значение
ты в расте юзал [asyncmain]?
p
ты в расте юзал [asyncmain]?
tokio::main ?
AZ
tokio::main ?
да
p
да, использую
DS
все равно потом сделаешь
res = do
res <- a
и получишь нечистое значение
res = do
res <- a
и получишь нечистое значение
Нет, чем оно нечистое?
SP
Каких взрослых?
Покажи каким образом у тебя IO оказывается не ссылочно прозрачным?
Покажи каким образом у тебя IO оказывается не ссылочно прозрачным?
когда ты непосредственно вызываешь всю портянку с world
p
Нет, чем оно нечистое?
то что зависит от внешнего мира
AZ
да, использую
вот IO == impl Future<Result<(), IOError>>
main IO == tokio::main
а рантайм хаскелля это реактор.
Из футуры ты никак не можешь продолжить выполнение или увидеть какую-то нечистоту. А раз не можешь увидеть, значит её и нет.
Нужно понимать, что хаскель и работает как ты предлагаешь - чистое ядро я "грязное" выполнение всех операций, только ты предлагаешь только часть чистых функций делать, а модель с ИО позволяет сделать чистой всю прогармму
main IO == tokio::main
а рантайм хаскелля это реактор.
Из футуры ты никак не можешь продолжить выполнение или увидеть какую-то нечистоту. А раз не можешь увидеть, значит её и нет.
Нужно понимать, что хаскель и работает как ты предлагаешь - чистое ядро я "грязное" выполнение всех операций, только ты предлагаешь только часть чистых функций делать, а модель с ИО позволяет сделать чистой всю прогармму
DS
когда ты непосредственно вызываешь всю портянку с world
Это никак не отменяет ссылочную прозрачность IO при работе с кодом.
DS
когда ты непосредственно вызываешь всю портянку с world
Ты посмотри определение ссылочной прозрачности. Оно ничего не говорит о том, что там в реальном мире происходит.
Только о тех свойствах, которые есть у данных функций.
Только о тех свойствах, которые есть у данных функций.
DS
У IO и всех функцйи работы с ним (вне unsafePerformIO и т.п.) - все эти свойства выполняются
p
а толку если значения разные приходят
AZ
а толку если значения разные приходят
не приходят
p
не приходят
у тебя внешний мир всегда одни и те же данные шлет?
SP
Ты посмотри определение ссылочной прозрачности. Оно ничего не говорит о том, что там в реальном мире происходит.
Только о тех свойствах, которые есть у данных функций.
Только о тех свойствах, которые есть у данных функций.
а какие свойства кроме того что она помечена как ио?
AZ
main = do
let a = readLine
a1 <- a
a2 <- a
print $ a1 ++ a
DS
а какие свойства кроме того что она помечена как ио?
Определение ссылочной прозрачности:
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.