P
Не-а
чем
foo(Bar) -> Either<A,B> отличается от B Bar.foo() throws A ?Size: a a a
Rust/Verona LGBTTQQIAAPС++ Iran political tutorial dick measurement strikeforce
255 membersпожаловаться на группу
2021 January 29
А⚙
Solarized Dark. Только у курсора цвет поменяй, по умолчанию он ядовито-красный
P
Эксепшоны не видны в сигнатуре, так что сразу идут нахуй
(паники, кстати, тоже не видны в сигнатуре)
А⚙
чем
foo(Bar) -> Either<A,B> отличается от B Bar.foo() throws A ?Как мне на throws написать "Foo возвращает те же ошибки. что и переданная аргументом функция"?
P
Как мне на throws написать "Foo возвращает те же ошибки. что и переданная аргументом функция"?
в идеальном мире — через дженерики на эксепшенах, в джаве их нет, правда, но это проёб джавы, а не эксепшенов
А⚙
(паники, кстати, тоже не видны в сигнатуре)
Учитывая, насколько дохрена в расте паникующих операций — подобная маркировка была бы бесполезной
А⚙
в идеальном мире — через дженерики на эксепшенах, в джаве их нет, правда, но это проёб джавы, а не эксепшенов
А их нигде не реализовали
P
(ну как проёб, просто для эксепшенов сделали union-types, а для дженериков — нет)
А⚙
эту хуйню не понял
[0, 0] — это литерал массива. [..] — это индексация литералом RangeFull, который возвращает слайс целиком. Массивы непосредственно Index{, Mut}<RangeFull>, но они реализуют Deref{, Mut}<Target = [T]>, поэтому массив за счёт deref coercion приводится к слайсу. Ну и так как слайс по значению передавать нельзя, от всего это берётся ссылка: &А⚙
(ну как проёб, просто для эксепшенов сделали union-types, а для дженериков — нет)
Union-типы не нужны
P
Union-типы не нужны
но они есть, пушо на них списки эксепшенов
P
(точно как и возарат ошибки вариантом энама это нормальная практика)
P
и вообще, Антон не юзает enum в расте, потому что не нужен
А⚙
а нахера там репр Ц
Чтобы компилятор не переупорядочивал поля и не совал паддинги
А⚙
и вообще, Антон не юзает enum в расте, потому что не нужен
Так enum — это нормальный сумма-тип, а не сраный union
P
Так enum — это нормальный сумма-тип, а не сраный union
мне кажется, ты назвал растовский/сишный union union-типом
P
но надеюсь, что кажется
A
мне кажется, ты назвал растовский/сишный union union-типом
Сейчас бы юнион вспоминать
A
Полиморфизм для дедов
P
Artem
Сейчас бы юнион вспоминать
ну так sum-типы это ж tagged union под капотом почти гарантированно