CD
какой смысл писать "вот эти эффекты И ЕЩЁ ЛЮБОЙ ПОЛЬЗОВАТЕЛЬСКИЙ" если вторую часть можно опустить как подразумеваемую?
вроде бы при стирании есть смысл в двух типах выражений - "допустимое множество" и "всё, кроме недопустимого множества"
Size: a a a
2021 January 15
CD
чё угодно, только не дата рейсы, пожалуйста, я конкурентно дергаю
H
не дергай сильно, а то отвалиться
ΑZ
например потому что иммутабельность не подразумевает мутабельность (твой желаемый эффект)
ну скажи как такое можно сделать
ΑZ
или вон эффект логгирования факториала
ΑZ
зачем либе знать что мы че-то логгируем? Её задача получить реузльтат
H
ну скажи как такое можно сделать
trait Factorial<Eff> {
fn factorial(...) -> Eff<u32>;
}где Eff — любой эффект. вместо Eff будет Log если мы логгируем
CD
зачем либе знать что мы че-то логгируем? Её задача получить реузльтат
потому что коммутация операций "логгируемый факториал" и "логгируемый фибоначчи" сломается
ΑZ
trait Factorial<Eff> {
fn factorial(...) -> Eff<u32>;
}где Eff — любой эффект. вместо Eff будет Log если мы логгируем
что если мы каждый раз когда в языке пишем
trait Factorial { ... } неявно имеем в виду trait Factorial<Eff>?ΑZ
потому что коммутация операций "логгируемый факториал" и "логгируемый фибоначчи" сломается
не сломается, любой тест пройдет
CD
не сломается, любой тест пройдет
не пройдет, если лог часть теста
ΑZ
не пройдет, если лог часть теста
не может быть лог частью теста потому что мы явно сказали что это эмбиент эффект а не часть результата
CD
не может быть лог частью теста потому что мы явно сказали что это эмбиент эффект а не часть результата
а, ну ок
есть еще такой вопрос, что с любым эффектом этого типа очень естественно ассоциируется ошибка (не обнаружен логгер)
есть еще такой вопрос, что с любым эффектом этого типа очень естественно ассоциируется ошибка (не обнаружен логгер)
ΑZ
а, ну ок
есть еще такой вопрос, что с любым эффектом этого типа очень естественно ассоциируется ошибка (не обнаружен логгер)
есть еще такой вопрос, что с любым эффектом этого типа очень естественно ассоциируется ошибка (не обнаружен логгер)
это уже уровень паники
ΑZ
ничо не сделать
CD
это уже уровень паники
ну если тебе совсем плевать на логи - да, конечно
ΑZ
ну если тебе совсем плевать на логи - да, конечно
при чем тут плевать? Если сигнатура тебе не разрешает возвращаь ошибку то ты её и не вернешь
CD
при чем тут плевать? Если сигнатура тебе не разрешает возвращаь ошибку то ты её и не вернешь
ну подразумевается, что ты не хочешь отражать логгирование в сигнатуре
CD
при чем тут плевать? Если сигнатура тебе не разрешает возвращаь ошибку то ты её и не вернешь
в этом случае, вроде, можно записывать эффект как UDP-сообщение внешней сущности
H
что если мы каждый раз когда в языке пишем
trait Factorial { ... } неявно имеем в виду trait Factorial<Eff>?а, понял. наверное принимающая сторона не просто так иммутабельность требует