t
нене, я как раз для того и пишу
Size: a a a
2020 June 22
AZ
Если ты не вызываешь функцию, которая делает ИО, то похуй чистая она или нет. Если ты ее вызываешь, значит она уже нечистая.
короче я написал на расте ИО. Как видишь, смог. Значит это не дырка
AZ
Так что иди пересматривай свою позицию
AZ
я же не зря полчаса потратил на эту фигню
t
при конструировании монад и true и false ветка "выполнятся" в значении построения списка инструкций, но только одна получит управление
p
я написал про "всерьез". редокс не представляет ценности
t
я же не зря полчаса потратил на эту фигню
я писал IO на плюсах. был разочарован, что ума у шланга не хватает все красиво свернуть, остается куча рантаймового мусора
t
может у меня скилла убеждения не хватило
AZ
я писал IO на плюсах. был разочарован, что ума у шланга не хватает все красиво свернуть, остается куча рантаймового мусора
ну хз, на полном серьезе так вне ФП япов пистаь не стоит. Тут и вопрос либ которые надо оборачивать, и коллеги, и то что эта штука в целом игрушечная( только FnOnce, везде статики развешены, ..)
t
ну и вывод типов автоматический не удался, приходилось руками специализировать дженерик
r
я написал про "всерьез". редокс не представляет ценности
Ну, начать стоит с того, что для того чтобы писать новую операционку всерьёз на любом языке требуются очень специфические обстоятельства.
t
ну хз, на полном серьезе так вне ФП япов пистаь не стоит. Тут и вопрос либ которые надо оборачивать, и коллеги, и то что эта штука в целом игрушечная( только FnOnce, везде статики развешены, ..)
нет, конечно, нафига оно на полном серьезе в плюсах? как минимум, пока не завезут корутины, чтобы co_yield можно было делать и получить do-нотацию
AZ
нет, конечно, нафига оно на полном серьезе в плюсах? как минимум, пока не завезут корутины, чтобы co_yield можно было делать и получить do-нотацию
в расте кстати можно, через try-трейт, но это уже мне лень было делать
AZ
у меня нет ночника
t
мои знания раста весьма скудны, так что не смогу оценить ¯\_(ツ)_/¯
AZ
мои знания раста весьма скудны, так что не смогу оценить ¯\_(ツ)_/¯
fn foo() -> IO<()> {
let s = read_line()?;
write_line(s)?;
IO::pure(())
}p
fn foo() -> IO<()> {
let s = read_line()?;
write_line(s)?;
IO::pure(())
}read_line()?;
AZ
read_line()?;
ну да
AZ
это же просто do-нотация
p
Скобки добавь