r
Т.е. возьми любое IO. ФП код - ФП код. Декларативный - нет
Да, возьму интерфейс с императивным миром. Мир - императивен, ФП - нет. Никакого противоречия.
Size: a a a
2020 May 15
DS
red75prime
Да, возьму интерфейс с императивным миром. Мир - императивен, ФП - нет. Никакого противоречия.
Ок, возьми любой ST
DS
Или вообще State
DS
Они оба просто функции
p
Нет, из-за того, как for_each устроен, он отдаёт (), то есть то же стейтмент
create_foo().and_then(|mut foo| (1..10).map(|i| do_some(&mut foo, i)).collect::<Vec<_>>())ок
r
Ок, возьми любой ST
Мне нужен чай, а не идеальный образ чая.
DS
create_foo().and_then(|mut foo| (1..10).map(|i| do_some(&mut foo, i)).collect::<Vec<_>>())ок
А теперь уже всё зависит от того, что делает do_some
DS
И что она возвращает
p
А теперь уже всё зависит от того, что делает do_some
а что делает writeSTRef?)
Так стоп, ФП это когда все что-то возвращает и стейтментов нету. () - это тоже значение)
Так стоп, ФП это когда все что-то возвращает и стейтментов нету. () - это тоже значение)
p
стейтменты в расте это вроде fn, struct, enum. А все остальное - выражения
p
даже ; возвращает ()
DS
а что делает writeSTRef?)
Так стоп, ФП это когда все что-то возвращает и стейтментов нету. () - это тоже значение)
Так стоп, ФП это когда все что-то возвращает и стейтментов нету. () - это тоже значение)
Функция, которая возвращает () - ничего не делает по опредлению.
DS
Если мы говорим про ФП язык
DS
Т.е. в ФП языке, любую функцию, которая возвращает () можно заменить тупо на () сразу
NL
Сейчас будет прозрение: "Обалдеть, неужели
main это константа типа IO (), а содержимое этого мейна есть значение константы?!!" :-)p
Функция, которая возвращает () - ничего не делает по опредлению.
putStrLn ...
DS
Без изменения поведения программы
DS
putStrLn ...
Она возвращает IO ()
NL
ждём...
p
Она возвращает IO ()
одно и то же)