p
Нет.
Как матчить
fn test<T>(x: A) -> A | T { ... }Как матчить
test::<A>(...)?Ну это уже какие-то hight-order суммы
Size: a a a
2020 February 02
p
Такого не надо
p
Просто обычные типы
G
Можешь пояснить? Я пока не понял
Смотри
Здесь
Если вместо
let foo: Hello | World = Hello;
match foo {
0 => println!("Bla"),
1 => println!("Alb"),
}
Здесь
Hello и World - не типы, а просто идентификаторы. Это будет как такое:enum HelloWorld {
Hello,
World,
}Если вместо
foo подставить число, то код не поломается, хотя это желательно. Если .0 и .1, то не поломается. Можно вместо 0 и 1 матчиться по Hello и World, как @Psilon предлагал.G
Такого не надо
???
G
Почему бы не обобщить
В
Смотри
Здесь
Если вместо
let foo: Hello | World = Hello;
match foo {
0 => println!("Bla"),
1 => println!("Alb"),
}
Здесь
Hello и World - не типы, а просто идентификаторы. Это будет как такое:enum HelloWorld {
Hello,
World,
}Если вместо
foo подставить число, то код не поломается, хотя это желательно. Если .0 и .1, то не поломается. Можно вместо 0 и 1 матчиться по Hello и World, как @Psilon предлагал.Неа, это будет
enum HelloWorld {
0(Hello),
1(World),
}Hello, World — существующие типыAZ
Неа, это будет
enum HelloWorld {
0(Hello),
1(World),
}Hello, World — существующие типыкак мне сделать тип "один или два"?
AZ
let foo: 1 | 2 = 1 ?p
???
fn foo<T>(x: A) -> T | A {}
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
В
как мне сделать тип "один или два"?
enum использовать?G
fn foo<T>(x: A) -> T | A {}
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
Почему?
AZ
enum использовать?так весь смысл этой затеи в том чтобы тебе не надо было энум делать
AZ
fn foo<T>(x: A) -> T | A {}
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
Не надо
fn foo<T>(x: A) -> A | B {}
Надо
ты костыль предлагаешь. Фичи должны друг с другом жить, а "тут играем тут нет" оставь плюсам
p
Почему?
При добавлении нового типа который реализует T, старые матчи ломаются
G
При добавлении нового типа который реализует T, старые матчи ломаются
Почему?
AZ
При добавлении нового типа который реализует T, старые матчи ломаются
вопрос только в именовании варианта, ничего ломаться не будет
G
вопрос только в именовании варианта, ничего ломаться не будет
+
p
Почему?
Потому что появляется новый вариант
G
Потому что появляется новый вариант
Всего 2 варианта