H
по сути после мономорфизации там тоже 2 типа будет на картинке
Size: a a a
2020 July 04
DS
ну оно же и так тайпчекаться с двумя типами будет
Так это простейший случай, ты можешь туда добавить больший набор типов
H
ну добавлю просто больший набор своих типов
H
по идее это лучше по SRP лучше даже
H
а то будет 1 гигантское бог-ADT
H
со всеми вариантами
DS
ну добавлю просто больший набор своих типов
А как ты тогда выразишь Eq?
H
impl Eq for IExpr, impl Eq for BExpr
H
а, ты о той картинке
H
тогда в BExpr определю BEq(IExpr, IExpr)
H
ну способы есть
H
ну и там констрейнт Eq поставить
D
Тебе тогда нужно будет делать некий
Expr = IExpr IExpr | BExpr BExprD
Чтобы использовать его вместо
Expr aH
ну ок сделаю
H
Чтобы использовать его вместо
Expr aну вообще у меня будет известен всегда вид Expr
H
ну или констрейнт какой-то
H
еще кстати почему синтаксис раста уродский это томушо констрейнты ставить нельзя
H
в вариантах перечислений
H
кстати, а в шаблоне визитор можно )))))