ведь

a @ User { b: c, ..}

и?

что ты сметчишь

тот же еенам?)

хм?

не понял проблему

ну у тебя в a будет Enum::User

ну

юзер вне енама не существует

хочется, иметь функцию handle_user которая будет принимать только статически типизированного юзера

да

в этом и проблема

хочется, иметь функцию handle_user которая будет принимать только статически типизированного юзера

а из енама не статически типизирован?

классический динамический диспатч, есть несколько типов сообщений, нужно каждый по своему хендлить

энам это динамический диспатч

нету возможности задать функцию fn handle_commit(Enum::User{name:name, lastname:lastname});

ооо

Сказал лн и запустил дукер

Ну, блин, как можно пользоваться докером в 2к17, когда православный vagga завезли?

блин вот не попишешь с год и все забываешь

есть какой-нибудь человеческий вариант если есть enum: enum Foo { Foo(Box Foo,u16) Bar } проматчить то, что в Box?

всмысле

вот хочу сделать match t { Foo(Bar,_) => ...

иф с ref

так, если я правильно понял ref, то получается, что я не могу сделать:

#[derive(PartialEq)] enum Foo { Foo(Box<Foo>,u16), Bar } fn main() { match Foo::Foo(Box::new(Foo::Bar), 12) { Bar => println!("1"), Foo::Foo(ref b,_) if **b == Foo::Bar => println!("2"), _ => println!("3"), } }

match t { Foo(Foo(_,5),_) =>

только так

а понял

хм..

бокс у тебя не структура, его нельзя матчить

точнее можно, если создать идентичный по содержимому бокс, но нельзя

все не как у людей :/ ясно

а как у людей?)

а как у людей?)

if err != nil

х)

у людей можно написать паттерн матчинг по вложенным структурам, часть из которых в boxed values

ну боксед не структура просто

вот по этому и нельзя

или можно сложные вещи в гардах (.. if ) писать

у матч бренчи статические

т.е. если бы я мог в гарде написать Foo(ref b) if match ** b { ... }

так и тут можешь

могу?

а не

хотя

скорее нет

т.е. если не сматчилось, то провалиться дальше

хотя наверное можешь

во внешнем

тебе же матч тупо чтоб вернуть тру или фолс

внутри гварда

а раст же експрешен ориентед

в конкретном случае - да

т.е. я хочу сделать deref поля и проматчить его с шаблоном

если смачилось то перейти в то что в => со всеми переменными полученными в результате матча, если не сматчилось то продолжить дальше

в целом это все и обойти можно, но код будет чуть печальнее (и я _пока_ не виду принципиальных причин) почему так нельзя в языке с гарантиями раста

#[derive(PartialEq)] enum Foo { Foo(Box<Foo>,u16), Bar } fn main() { match Foo::Foo(Box::new(Foo::Bar), 12) { Foo::Bar => println!("1"), Foo::Foo(ref b,_) if match **b { Foo::Bar => true, _ => false }=> println!("2"), _ => println!("3"), } }

так можно

ном

для этого случая подойдет, но в целом нет

если бы в матче Some(x) можно было вернуть и тогда бы продолжилось, то решило бы проблемы мои

ну внутрь матча можно пропихивать все переменные которые видны внешне

ну сорян

да норм все, я вспоминаю язык

ты какуе-то цикловую асинхронную хуйню хочешь

стейтмашину короче

(а)синхронности тут нет

угу

стейт машину

просто применяю правила к древовидной структуре

как стейт машину тоже можно представить

а вообще грубо говоря переношу правила вывода из книжки в программу

ибо решил таки пройти пирса на расте

ну вот ты хочешь Стейт машину, причем чтоб за один next_state обрабатывалось несколько стейтов

т.е. не детерминированую

нет

а не "асинхронную" как я сказал раньше

ну ты же хочешь возвращать Стейт, который дальше должен матчится

ибо решил таки пройти пирса на расте

Тапл которую?

еслиу нас не mut то все детерминировано