дададада

так, вопрос к гуру шаблонов проектирования

Прямо купил, или с торрентов?

Она в открытом доступе.

Такс

Но можно и купить, если есть желание.

короче, вот покажи мне пример вот этого кода на сишарп:


trait MyAdd {
  fn zero() -> Self;
  fn add(self, rhs: Self) -> Self;
}

impl MyAdd for i32 {
  fn zero() -> Self { 0 }
  fn add(self, rhs: Self) -> Self { self + rhs }
}

fn generic_sum<T: MyAdd>(items: &[T]) {
 items.iter().fold(MyAdd::zero(), |x, y| x.add(y));
}

generic_sum(&[1,2,3,4,5]);

увы

нет

В teloxide нужна диспетчеризация обновлений, приходящих с сервера Телеграма. Изначально обновления — это Stream<Update>, где Update — это тип-сумма, всё то, что может придти с Телеграма. Это довольно глубоковложенный тип.

Можно было бы его просто сопоставлять с образом, но код превращается в мессиво глубоковложенное:

match update.from {
    Some(from) => match from { match from.edit_date { ... } }
    _ => ...
}

Ещё есть вариант с реактивным ФП. Т.к. у нас уже есть Stream<Update>, мы его можем просто комбинаторами дербанить. Но вот проблема в том, что сопоставления с образом на стримах нет, вернее есть, но использовать это крайне неудобно из-за сырости Rust.

Какие ещё есть варианты?

Сейчас это решено диспетчеризатором, но это дело комбинируется _очень_ плохо

Пересмотрел корку. Хм, действительно. Что-то я напутал.

match update.from {
    Some(from) => match from { match from.edit_date { ... } }
    _ => ...
}

а ты не зависимо от обновлений в конечном счёте делаешь с ними одну операцию?

match update.from {
    Some(from) => match from { match from.edit_date { ... } }
    _ => ...
}

Ну, подход с actix::Handler не плох.

не понял

посмотрю

Но без энума теряется exhaustiveness, хз насколько она критична в твоём случае

некритична

даже наоборот

Ну тогда что-то типа actix::Handler должно быть удобно. Просто на каждый интересующи тип сообщения опсывается impl Handler<NameUpdated> for MyBot и оно уже фыр-фыр под-капотом, просто вызывает хэндлеры, когда событие происходит.