AZ
или компиль
Size: a a a
2020 August 13
SP
да им везде тыкают. неинтересно мне калькуляторы писать
AZ
Это все решаемые проблемы лол
ну это можно решить panic("unreachable")
AZ
такое себе
AZ
да им везде тыкают. неинтересно мне калькуляторы писать
как мы выяснили, любая валидация это парсинг, а для парсинга это полезно
AZ
@DogeShibu где там гадты ещё полезны?
AZ
я в очередной раз не удивился что оно быстро забывается - потому что я сходу не могу придумать вообще юзкейс
они забываются скорее потому что их почти нигде нет, а забывается от отсутствия практики
AZ
уверен гошники с трудом придумают юзкейс для генериков
p
как по ссылке,
enum Expr {
I(i32),
B(bool),
Add(Box<Expr>, Box<Expr>),
Mul(Box<Expr>, Box<Expr>),
Eq(Box<Expr>, Box<Expr>),
}
Для него не получится нормально eval написатьВсмысле не получится
T1
как по ссылке,
enum Expr {
I(i32),
B(bool),
Add(Box<Expr>, Box<Expr>),
Mul(Box<Expr>, Box<Expr>),
Eq(Box<Expr>, Box<Expr>),
}
Для него не получится нормально eval написатьпоч
AZ
Всмысле не получится
ну попробуй
p
А вот так:
enum Expr<T: Eq> {
I(i32) : Expr<i32>,
B(bool) : Expr<bool>,
Add(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
Mul(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
Eq(Box<Expr<T>>, Box<Expr<T>>) : Expr<T>,
}
ИзиНу будет то же самое но не тайп сейф, подумаешь
AZ
Ну будет то же самое но не тайп сейф, подумаешь
кек
AZ
с ткой логикой идите в питоны свои)
KR
А вот так:
enum Expr<T: Eq> {
I(i32) : Expr<i32>,
B(bool) : Expr<bool>,
Add(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
Mul(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
Eq(Box<Expr<T>>, Box<Expr<T>>) : Expr<T>,
}
ИзиА в расте это можно выразить, наверное, через доп. трейт с ассоциативным типом указывающим не результат. Определение будет вербознее, конечно.
p
или компиль
Как часто ты пишешь компилятор или компиль?)
p
ну это можно решить panic("unreachable")
Чего? Я про парсинг тега
AZ
Как часто ты пишешь компилятор или компиль?)
у меня ощущение что каждый второй в этом чатике по кд это делает
p
как мы выяснили, любая валидация это парсинг, а для парсинга это полезно
Что за ересь
AZ
Чего? Я про парсинг тега
а, парсинг тега. Не тайпсейф и тулинг не работает