DF
Или падает.. не пойму
Size: a a a
2020 August 13
AZ
весь сторонний тулинг такого не ожидает
KR
GADT - это когда Option::Some и Option::None - типы?
SP
GADT - это когда Option::Some и Option::None - типы?
я трачу час на то чтобы понять и вроде понимаю а потом всеравно забываю
SP
там какаято очень мелкая деталь для каких то кейсов которые даже не приходят в голову
AZ
GADT - это когда Option::Some и Option::None - типы?
нет, это когда варианты энума могут быть генериками и уточнять тип энума:
enum Foo<T> {
Bar : Foo<i32>,
Baz(T) : Foo<T>
}KR
нет, это когда варианты энума могут быть генериками и уточнять тип энума:
enum Foo<T> {
Bar : Foo<i32>,
Baz(T) : Foo<T>
}Понял, спасибо.
AZ
Понял, спасибо.
https://en.wikibooks.org/wiki/Haskell/GADT вот понятное объяснение зачем такое нужно может быть
P
я трачу час на то чтобы понять и вроде понимаю а потом всеравно забываю
это когда тэг не список, а дерево
SP
нет, это когда варианты энума могут быть генериками и уточнять тип энума:
enum Foo<T> {
Bar : Foo<i32>,
Baz(T) : Foo<T>
}твое обьяснение как то намного проще
AZ
🤷♂️
AZ
если совсем на пальцах, то это энумы с фантомными типами, где разные варианты энума могут выбрать конкретные значения для разных вариантов
CD
тоесть, это всё делалось в сях и плюсах ещё когда по земле ходили динозавры, просто не знали, что так называется
https://en.wikipedia.org/wiki/Simula
ты удивишься, что во времена динозавров делали
ты удивишься, что во времена динозавров делали
AZ
как по ссылке,
enum Expr {
I(i32),
B(bool),
Add(Box<Expr>, Box<Expr>),
Mul(Box<Expr>, Box<Expr>),
Eq(Box<Expr>, Box<Expr>),
}
Для него не получится нормально eval написатьAZ
А вот так:
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
доказательство оставляем читателю в качестве упражнения)
SP
я в очередной раз не удивился что оно быстро забывается - потому что я сходу не могу придумать вообще юзкейс
AZ
я в очередной раз не удивился что оно быстро забывается - потому что я сходу не могу придумать вообще юзкейс
вот юзкейс лол
AZ
калькулятор пишешь - появился юзкейс
p
это пример который оно не парсит
Это все решаемые проблемы лол