AZ
а толку если значения разные приходят
ты не видишь _значений_ из внешнего мира
Size: a a a
2020 April 01
AZ
блин
DS
Для функий, которые возвращают IO и не делают фигню вроде unsafePerformIO, это свойство выполняется.
AZ
короч просто поработай с этим, должно дойти
p
Определение ссылочной прозрачности:
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.
ну вот толку от ссылочной прозрачности если все равно хначения разные приходят
AZ
ну вот толку от ссылочной прозрачности если все равно хначения разные приходят
приходит одно и то же значение
AZ
IO это грубо говоря структура вида IO("SELECT * FROM MYTABLE")
p
ты не видишь _значений_ из внешнего мира
как же
вот тут вижу a1 значение
main = do
let a = readLine
a1 <- a
a2 <- a
вот тут вижу a1 значение
AZ
как же
вот тут вижу a1 значение
main = do
let a = readLine
a1 <- a
a2 <- a
вот тут вижу a1 значение
a1 это не значение, это сахар для лямбды
p
и а2
AZ
ты не можешь передать туда параметр, толкьо ранатйм может
p
a1 это не значение, это сахар для лямбды
со стороны программиста это хначение, не важно во что оно там рассахаривается
SP
Определение ссылочной прозрачности:
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.
функцию можно заменить на возвращаемое ей значение так, что поведение программы от этого не изменится.
тоесть была функция которая вызывалась с world
и заменилась на функцию которая вызывается с world
так?
и заменилась на функцию которая вызывается с world
так?
p
ты не можешь передать туда параметр, толкьо ранатйм может
ну это любые операции ввода-вывода такие, только рантайм может значение туда положить
AZ
ну это любые операции ввода-вывода такие, только рантайм может значение туда положить
#[derive(Debug, Clone)]
struct IO(String);
fn read_line() -> IO {
IO("SELECT * FROM TABLE".into())
}
fn main() {
let a = read_line();
print!("{:?}", a);
}Функция read_line - чистая или нет?
DS
тоесть была функция которая вызывалась с world
и заменилась на функцию которая вызывается с world
так?
и заменилась на функцию которая вызывается с world
так?
Ну да, примерно так.
Сами функции для работы с IO ничего не делают, только возвращают функции, которые принимают World. Отсюда требование ссылочной прозрачности полностью сохраняется.
Сами функции для работы с IO ничего не делают, только возвращают функции, которые принимают World. Отсюда требование ссылочной прозрачности полностью сохраняется.
p
#[derive(Debug, Clone)]
struct IO(String);
fn read_line() -> IO {
IO("SELECT * FROM TABLE".into())
}
fn main() {
let a = read_line();
print!("{:?}", a);
}Функция read_line - чистая или нет?
да
AZ
вот хаскельное ио так и устроено
DS
Ты можешь вызов функции, которая только комбинирует другие функции заменить на результат без измнения поведения
AZ
это просто структурка которая ничего не делает