DF
Торт а в чем там суть?
Size: a a a
2020 February 04
λ
в стаке не имплементируют поддержку бэкпака
λ
приходит Картман, говорит — "заебали, даю вам 6 месяцев на то, чтобы запилить, а потом перевожу библиотеку, которая в зависимостях у половины хакаджа, на бэкпак"
DF
Хаха
λ
приходит Картман, говорит — "заебали, даю вам 6 месяцев на то, чтобы запилить, а потом перевожу библиотеку, которая в зависимостях у половины хакаджа, на бэкпак"
s/ман/ер
S
приходит Картман, говорит — "заебали, даю вам 6 месяцев на то, чтобы запилить, а потом перевожу библиотеку, которая в зависимостях у половины хакаджа, на бэкпак"
приходит Картер, говорит — "заебали, даю вам 6 месяцев на то, чтобы запилить, а потом перевожу библиотеку, которая в зависимостях у половины хакаджа, на бэкпак"
В
Btw, с
Логично (на первый взгляд), что такое должно работать:
Но, это требует чтобы
Так что sad news, но придётся писать
A|B и ? есть проблема...Логично (на первый взгляд), что такое должно работать:
struct A;
struct B;
let _: Result<(), A | B> = try {
Err(A)?;
Err(B)?;
Ok(())
}Но, это требует чтобы
A | B был и From<A> и From<B>, что комфликтует в дженерик коде т.к. возможно что A == B. Так что sad news, но придётся писать
try {
Err(A).map_err(|e| 0(e))?;
Err(B).map_err(::0)?; // is it valid? >_<
Ok(())
}p
Btw, с
Логично (на первый взгляд), что такое должно работать:
Но, это требует чтобы
Так что sad news, но придётся писать
A|B и ? есть проблема...Логично (на первый взгляд), что такое должно работать:
struct A;
struct B;
let _: Result<(), A | B> = try {
Err(A)?;
Err(B)?;
Ok(())
}Но, это требует чтобы
A | B был и From<A> и From<B>, что комфликтует в дженерик коде т.к. возможно что A == B. Так что sad news, но придётся писать
try {
Err(A).map_err(|e| 0(e))?;
Err(B).map_err(::0)?; // is it valid? >_<
Ok(())
}Если A == B, то в A | B, A != B
p
В типе сумме разные варианты всегда разные типы
p
То есть даже если при мономорфизации там выйдет i32 | i32, слева и справа разные типы
В
То есть даже если при мономорфизации там выйдет i32 | i32, слева и справа разные типы
Типы одинаковые, варианты разные
B
Не смог найти новые RFC по анонимным енама (
A | B), самое новое что я находил — 2016 год. И всё закрытое.... прям хоть перечитывай всё и заного пиши новый RFC чтобы его отклонили 😒Давайте создадим рили воркгрупу обсудим да напишем RFC
p
Ну да
В
Я напомню что Enum::Var не тип
В
Давайте создадим рили воркгрупу обсудим да напишем RFC
ща
p
Btw, с
Логично (на первый взгляд), что такое должно работать:
Но, это требует чтобы
Так что sad news, но придётся писать
A|B и ? есть проблема...Логично (на первый взгляд), что такое должно работать:
struct A;
struct B;
let _: Result<(), A | B> = try {
Err(A)?;
Err(B)?;
Ok(())
}Но, это требует чтобы
A | B был и From<A> и From<B>, что комфликтует в дженерик коде т.к. возможно что A == B. Так что sad news, но придётся писать
try {
Err(A).map_err(|e| 0(e))?;
Err(B).map_err(::0)?; // is it valid? >_<
Ok(())
}Не вижу проблем для этого кода
p
(верхнего)
B
*смотрит на свои N проектов и официальную работу*
В
Если A == B, то в A | B, A != B
С чего бы? Если что, от такого страдают и обычные енамы.
A | B по сути тот-же pub enum Either<L, R> {
Left(L),
Right(R),
}В
С чего бы? Если что, от такого страдают и обычные енамы.
A | B по сути тот-же pub enum Either<L, R> {
Left(L),
Right(R),
}+++