AZ
в хачкеле я бы такой ошибки не совершил
Size: a a a
2020 June 21
SP
неа. функции - это социальный конструкт
ты возвратил структуру которая потом йелднется и на основе того что ты передал будет делать чтото, если у тебя
let y <- getTime
if y....
let y <- getTime
if y....
p
в хачкеле я бы такой ошибки не совершил
ты бы не сделал
do
action1
action2
вместо
do
action2
action1
?
do
action1
action2
вместо
do
action2
action1
?
p
Типы в макросах! а ты не верил, @dogeshibu
p
@enomad
#[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 - чистая или нет?ну тут программа ничего не выведет так-то
p
понятное дело она чистая
AZ
ты бы не сделал
do
action1
action2
вместо
do
action2
action1
?
do
action1
action2
вместо
do
action2
action1
?
нет конечно. В хаскелле было бы явно написано, что тут стейт монада, причем действие делается через <-
foo : (MonadReader m, MonadState MyState m) => m ResultВот не поверишь, но я бы догадался что строчки просто так местами нельзя переставить
foo = do
res1 <- action1
action2
pure res1
p
когда ты делаешь <- функция перестает быть чистой
AZ
не перестаёт
p
потому что конструирует вывод на экран
AZ
мы это уже обсуждали
AZ
потому что конструирует вывод на экран
какой вывод на экран, это стейт монада
DS
Не те типы
p
я вот сижу и не могу понять че от меня комплятор хочет, кек
t
когда ты делаешь <- функция перестает быть чистой
когда ты делаешь x <- y, ты просто делаешь замыкание, где x - аргумент замыкания, а y - вызываемая функция
AZ
я вот сижу и не могу понять че от меня комплятор хочет, кек
ты ж говорил в хрусте ошибки топ, не то что в этом индисе сраном
t
x <- y
это
y((x) => ...)
это
y((x) => ...)
AZ
когда ты делаешь <- функция перестает быть чистой
<- делает функцию грязной так же, как значки вопросика в расте выключают обработку ошибок
p
ты ж говорил в хрусте ошибки топ, не то что в этом индисе сраном
макросы говно ебаное, я говорил не раз
p
когда ты делаешь x <- y, ты просто делаешь замыкание, где x - аргумент замыкания, а y - вызываемая функция
знаю