смирись

тогда в хаскеле и других фп япах тоже нет кста

в хаскелле как раз есть either

мне кажется ты нас троллишь щас просто

так же как и в расте

нет

покажи мне either в стд

дай угадаю, это отчасти потому что Either<Foo, !> != Foo ?

ээээ

причём тут стд, если вещи нет в стд не значит что ее нет в стд

ну бля почему ты такой скучный

у меня есть джип в москве

покажи документы

Мда. Я думал, что лайфтаймы понимаю. Полчаса пытался сделать арену, в которую нельзя класть ссылки на содержимое арены. Так и не понял почему первые варианты компилировались, хотя не должны были. Ограничивающий лайфтайм ковариантный получался, что-ли

ну мы как бы в другом культурном городе

ты Гоголя читал хоть лол омг

Покажи

Either всегда можно заменить на свой тип с двумя вариантами и так будет лучше потому что у своего типа будет более конкретная семантика

Например в Haskell для еррор хендлинга используют Either хотя могли бы написать специальный Result и таким образом объяснить что желает этот тип. + к Result можно добавить методы специфичные для еррор-хендлинга, например unwrap, а к Either нельзя потому что он должен быть обобщённым и не должен предоставлять методов еррор хендлинга

Но вообще такое ограничение же делается через HRTB и инвариантные лайфтаймы

Нет, не делается, потребовались бы ещё negative bounds
А как ты сделал?