OA
Т.е. хочется чего-то такого:
struct Generic<A, B>(...);
impl<T: Generic<...>> X<T> {
fn x(_: T::A, _: T::B) {}
}Size: a a a
2020 February 20
В
Очень не хватает возможности ссылаться на дженерик параметры сруктур...
Т.е. хочется чего-то такого:
Т.е. хочется чего-то такого:
В
В данном примере можно написать
impl<A, B> X<Generic<A, B>> {
fn x(_: A, _: B) {}
}В
но в более сложном коде с этим проблемы
r
Очень не хватает возможности ссылаться на дженерик параметры сруктур...
Т.е. хочется чего-то такого:
Т.е. хочется чего-то такого:
struct Generic<A, B>(...);
impl<T: Generic<...>> X<T> {
fn x(_: T::A, _: T::B) {}
}Что значит
T: StructType ?p
Раст - это ролик рамштайна, борроучекер - солист Рамштайна, а ты - русская девушка
p
red75prime
Что значит
T: StructType ?он хочет High-Order Generics
В
red75prime
Что значит
T: StructType ?Это значит
<A, B, C, ...> StructType<A, B, C, ...>. Т.е. для любой структуры StructType...В
В целом я понимаю что тупо и такое не надо тащить в язык
r
А. first-class конструкторы типов
В
В целом я понимаю что тупо и такое не надо тащить в язык
Но
Это просто повеситься можно...
impl<A, B, C, D, E, F, G, A1, B1, C1, D1, E1, F1, G1> Trait<Struct<A1, B1, C1, D1, E1, F1, G1>> for Struct<A, B, C, D, E, F, G> {}Это просто повеситься можно...
а
fn parse(text: String) {
parse_with_bot_name(text, None)
}
fn parse_with_bot_name(text: String, bot_name: String) {
if let Some (name) = bot_name {
}
else {
}
}
parse_with_bot_name(text, None)
}
fn parse_with_bot_name(text: String, bot_name: String) {
if let Some (name) = bot_name {
}
else {
}
}
Если честно, выглядит не достаточно плохо, чтобы у сложнять язык дефолт аргументами.
а
Очень не хватает возможности ссылаться на дженерик параметры сруктур...
Т.е. хочется чего-то такого:
Т.е. хочется чего-то такого:
struct Generic<A, B>(...);
impl<T: Generic<...>> X<T> {
fn x(_: T::A, _: T::B) {}
}А зачем тебе такое?
r
red75prime
А. first-class конструкторы типов
Нет. Не так понял. Это - сахар для дженериков
В
А зачем тебе такое?
Там ниже объяснение
а
Там ниже объяснение
ой
OA
Если честно, выглядит не достаточно плохо, чтобы у сложнять язык дефолт аргументами.
видимо, есть узкая зона, где билдер/конфиг - слишком много, а комбинация 4 методов для двух опциональных параметров уже бесит.
а
Ага
В
red75prime
Нет. Не так понял. Это - сахар для дженериков
Ага. сахарочек
OA
но с другой стороны, лучше потерпеть неудобства дизайна где-то по углам, чем для них специально городить Архитектуру