> I get recursion errors, what should I do? > You will need to increase the recursion limit ПРООРАЛ

дальше нужно ОРАТЬ

ну блин, либа которая может развалиться из-за того что у тебя лимит на рекурсию это как-то смешно

Но я так понял, в этом же суть раста . Нахреначить пирамиду из конструкторов типов, чтобы компилятор тебе сгенерил волшебный зеро оверхед траляляля. Только во всяких холопских языках это оставлено для особых любителей в особых либа типа shapeless и hlist\servant, а в расте это обыденность

Нет, в коре тим понимают, что язык должен быть практичным и эргономичным. И решают эту проблему.

Вот хорошо было бы, чтобы можно было делать бранчи, сравнительно с небольшим костом, но без бокса

Вот если ракета взлетит, да ещё с асинхронностью, то будет руст заместо этой вашей ноды

Но вот я подумал про ту либу https://github.com/bluss/either

either не нужен

лол

Что "лол"? Называйте нормально варианты енума

нам нужно ручками писать enum

ну представь ты пишешь себе такой код fn foo_iter() -> impl MyTrai{ some match { case1 => code1 case2 => code2 case3 => code 3 } }

причем тут left/right

Что "лол"? Называйте нормально варианты енума

Притом, что either это left и right

ох блядь

https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Either.html

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

тоесть?

где code1 code2 code3 - разных типов

в rust есть Result

вместо этого мы можем написать что-то вроде fn foo_iter() -> impl MyTrait{ some match as MyTrait{ case1 => code1 case2 => code2 case3 => code 3 } }

ну тип какой-нибудь Map<, >, где второй аргумент - лямбда

вместо этого мы можем написать что-то вроде fn foo_iter() -> impl MyTrait{ some match as MyTrait{ case1 => code1 case2 => code2 case3 => code 3 } }

соответственно на такой код компилятор реагирует так он генерирует на лету новый enum с параметрами типов такими же, как он выловил из вышестоящего fn, делает у него три альтернативы с типами соотвествующими code1, code2, code3

соответственно на такой код компилятор реагирует так он генерирует на лету новый enum с параметрами типов такими же, как он выловил из вышестоящего fn, делает у него три альтернативы с типами соотвествующими code1, code2, code3

и нахуй это

fn foo_iter() -> MyEnum { match something{ case1 => E1(code1), case2 => E2(code2), case3 => E3(code3), } }

вот именно это, только E1, E2 и E3 за тебя компилятор напишет

почему сразу такой код не написать?

Если у тебя такие нужды, то динамический диспатчинг, имхо, в 99% случаях лучше.

на данный момент, но можно и без него обойтись

xs : Vec<uzise>

Зачем?

Зачем менять абстракцию на... на что?