ΑZ
Глобальный вывод типов решил бы эти проблемы
в смысле на топлевеле? Не надо такого спс
Size: a a a
2020 December 30
CD
<A as Add<B>>::Output
еще не очень понятно, A as Add<B> или B as Add<A>
EG
Глобальный вывод типов решил бы эти проблемы
Глобальный вывод типов это отсутствие локальности
EG
Т. е. ты меняешь любое место кода, и у тебя ломается любое место кода
EG
Не надо, пожалуйста
Т8
Не, decltype полезная штука, но она намертво ломает локальность
ты темплейты когда-нибудь писал?
EG
Я привык к тому, что я меняю функцию и ломается у меня она, а не все функции
p
в смысле на топлевеле? Не надо такого спс
Хотя бы для возвращаемых значений нужно, иначе работа с моими либами превращается в боль
CD
Т. е. ты меняешь любое место кода, и у тебя ломается любое место кода
Ты только что познал дзен Торвальдса и пошел писать на си
EG
Ты только что познал дзен Торвальдса и пошел писать на си
Си прекрасен
p
еще не очень понятно, A as Add<B> или B as Add<A>
A ass Add<B> == a+b
B ass Add<A> == b+a
????????
B ass Add<A> == b+a
????????
CD
A ass Add<B> == a+b
B ass Add<A> == b+a
????????
B ass Add<A> == b+a
????????
главное, чтобы трейт сложения всегда был справа :)
DS
Т-34 85
@jit_rs @emmanuelGoldstein @p0lunin вот Хирро пытался эмулировать decltype в Rust. Вот заключение Царя
Ну царь до сих пор не понимает того, что выбор между номинативными и структурными системами типов - это вопрос трейдоффов.
И на практике структурные системы типов о которых говорит царь - будут работать только при WPO и практически полном инлайне всего и вся, что достаточно экстремальная позиция для практически применимого ЯП, хоть я тоже сторонник похожих позиций, только по чуть другим причинам.
И на практике структурные системы типов о которых говорит царь - будут работать только при WPO и практически полном инлайне всего и вся, что достаточно экстремальная позиция для практически применимого ЯП, хоть я тоже сторонник похожих позиций, только по чуть другим причинам.
CD
A ass Add<B> == a+b
B ass Add<A> == b+a
????????
B ass Add<A> == b+a
????????
вообще, необходимость выбора главного элемента в симметричной операции уже не очень приятный знак
EG
Глобальный вывод типов решил бы эти проблемы
В хаскелле не просто так глобальный вывод типов запрещён стайлгайдами, хотя и есть в языке
а
Т-34 85
@jit_rs @emmanuelGoldstein @p0lunin вот Хирро пытался эмулировать decltype в Rust. Вот заключение Царя
круто
а
а царь это кто
а
(wer?)
p
вообще, необходимость выбора главного элемента в симметричной операции уже не очень приятный знак
Можешь сделать структуру
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>
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>
DS
а царь это кто
Известная личность с ЛОРа