Телеграмм чат группы rust_offtopic страница 21278

а это кто

а царь это кто

Ты серьезно?

00:46пожаловаться #1

Т8

Т-34 85 in rust_offtopic

Doge Shibu

Ну царь до сих пор не понимает того, что выбор между номинативными и структурными системами типов - это вопрос трейдоффов.

И на практике структурные системы типов о которых говорит царь - будут работать только при WPO и практически полном инлайне всего и вся, что достаточно экстремальная позиция для практически применимого ЯП, хоть я тоже сторонник похожих позиций, только по чуть другим причинам.

decltype не нужен, что-ли?

00:46пожаловаться #2

Constantine Drozdov in rust_offtopic

polunin.ai

Можешь сделать структуру
struct AddT<A, B>(PhantomData<(A, B)>) where A: Add<B;
impl<A, B> Add<A, B> for AddT<A, B> where A: Add<B> { ... }
И потом
fn foo<A, B>() -> <AddT<A, B> as Add<A, B>>::Output where AddT: Add<A, B>

ну вот как-то

auto add(A a, B b) -> decltype (a + b) { return a + b; }

проще читается

00:46пожаловаться #3

Т-34 85

decltype не нужен, что-ли?

Не, я в целом про ту систему типов, что хочет царь.

00:46пожаловаться #4

а это кто in rust_offtopic

polunin.ai

Ты серьезно?

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

00:47пожаловаться #5

ΑZ

polunin.ai

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

беда с твоими либами тогда) В хачкеле за такое по голове дают, хотя вроде как разрешено

00:47пожаловаться #6

ΑZ

не зря в идрисе запрещено

00:47пожаловаться #7

Constantine Drozdov

ну вот как-то

auto add(A a, B b) -> decltype (a + b) { return a + b; }

проще читается

-> <A as Add<B>>::Output тоже норм

00:47пожаловаться #8

Αλεχ Zhukovsky

беда с твоими либами тогда) В хачкеле за такое по голове дают, хотя вроде как разрешено

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

00:47пожаловаться #9

А в расте они повсюду

00:47пожаловаться #10

ΑZ

Doge Shibu

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

ну ты же фт запилил же

00:48пожаловаться #11

ΑZ

значит можна

00:48пожаловаться #12

Αλεχ Zhukovsky

ну ты же фт запилил же

Ну вариант без боксов с адовой сигнатурой и не очень честный

00:49пожаловаться #13

Как раз из-за вот этих вот неназываемых типов

00:49пожаловаться #14

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

00:49пожаловаться #15

Эх

00:50пожаловаться #16

ΑZ

Doge Shibu

Ну вариант без боксов с адовой сигнатурой и не очень честный

вполне

00:50пожаловаться #17

ΑZ

для макросни как у полунина

00:50пожаловаться #18

А написать импл трейт в импл трейты нельзя - это отдельная ебала

00:50пожаловаться #19

Я помню хотел impl Fn() -> impl Future<>