ДК
Сейчас там Self
В расте задаешь
Self::Output, но вроде не у всех std::ops он естьSize: a a a
2021 July 07
h
неа. зависит от std.
В расте задаешь
В расте задаешь
ДК
Тип результата
П
impl Mul<Vector> for Covector {
type Output = u8
}
type Output = u8
}
П
Это дефолт
а
Что это за яп
П
Разница в том, что нельзя вернуть абстрактный Number, эт да
B
это отсюда
П
Костылится через втейблы, dyn и тот же num_traits, возможно, но жить с этим фигово будет
h
а вот как этот абстрактный
Number вообще в системе типов Раста описать? (tagged union (enum) не в счет, там всё явно)П
Условно T: Mul<T> + Add<T> etc
П
Но я уже сказал это грустно и плохо в целом
h
это будет не
Number, а T: Mul<T> + Add<T> etc 😉h
а чего плохого? дженериками вроде все юзкейсы можно покрыть
h
хотяя... было бы удобно писать что-то вроде
<T: Uint>, и если потом нужно будет, поменять u8 на u16 и тдП
Потому что редко кто принимает Mul etc
ДК
Ok. Понял. Но, собственно, на суть вопроса это не влияет: не обязательно делать через типы, как в системах типов, можно делать через тэги и диспетчеризацию, и получать не меньшую выразительность. При этом, сам язык будет концептуально проще.
Такую же фигню можно сделать в Scheme просто на процедурах и символах в качестве маркеров.
Такую же фигню можно сделать в Scheme просто на процедурах и символах в качестве маркеров.
h
ето да
П
А кастить это вот страшное к числам нутакое