а
оно работает, но не имеет осмысленного названия и нужно в доке писать что Left это ошибка, а Right это результат
Size: a a a
2021 January 23
ΑZ
Dima
Думаешь этот тоже с жса пришел?
да не обязательно. Любой неплюсовый язык
а
Использовать Either вместо Result это аналогично тому чтобы использовать bool вместо enum Direction { Forward, Backward }
получается хаскелисты — любители адхок решений
D
да не обязательно. Любой неплюсовый язык
Вообще интересно как так получается, неужели кому-то не интересно как оно там устроенно внутри, даже на самом базовом уровне?
D
Хотя возможно я не прав, всегда есть граница после которой ты все представляешь все как black box, просто у всех она разная
ΑZ
получается хаскелисты — любители адхок решений
у хаскеллистов MonadError m
ΑZ
или даже CanThrow Foo m
EG
оно работает, но не имеет осмысленного названия и нужно в доке писать что Left это ошибка, а Right это результат
++
s
получается хаскелисты — любители адхок решений
Но ведь эти типы изоморфны.
s
И
Either E T, и Result<T, E> это всего лишь копроизведение типов T и E.EG
Но ведь эти типы изоморфны.
Да, но один из этих типов несёт семантику «это либо успех, либо ошибка», а другой нет
EG
Разница такая же как с
enum Turn { Left, Right } и boolD
Имеет смысл, если у тебя какой нибудь atomicbool, то делать для него доп енум не имеет смысла, ну ради красоты кода, Но это сомнительно
EG
Тем более, что в расте нет
Atomic<T>, агаEG
Но можно хотя бы сделать
const LEFT = AtomicBool::new(false);
const RIGHT = AtomicBool::new(true);
type Turn = AtomicBool;
EG
Или ньютайп даже
D
Тем более, что в расте нет
Atomic<T>, агаНу есть, Но это прохладная история
EG
Dima
Ну есть, Но это прохладная история
Даже в найтли нет же
EG
Разве что через Box и AtomicPtr или ещё как заморочиться
D
Даже в найтли нет же
Есть крейты