D
в вариантах перечислений
В хаскеле без гадт тоже нельзя, если я правильно тебя понял
Size: a a a
2020 July 04
H
В хаскеле без гадт тоже нельзя, если я правильно тебя понял
В Haskell 98 насколько я понимаю можно ставить констрейнты в тип-суммах
D
Нельзя, насколько я помню
D
choice(
Expr,
variant(BNode, BExprPtr)
variant(INode, IExprPtr)
variant(IfFalsy, Expr, Expr)
);
variant(IfFalsy, Expr, Expr)
Здесь Expr могут быть разнымиH
variant(IfFalsy, Expr, Expr)
Здесь Expr могут быть разнымиэто да
H
но все равно мне не нравится что получается 1 большое бог-adt
D
Его удобнее использовать
H
у тебя потом выйдет огромный евал на 2 экрана
H
а так мог бы хоть в разные евалы распихать
H
ну можно наверное так с рефайнед типами
H
но оверкилл помоему
AZ
давай на общеизвестном языке, а не своём плз
D
а так мог бы хоть в разные евалы распихать
В случае с гадт тоже можно сделать разные евалы для
Expr Int и Expr Bool, выразительность не теряетсяH
ну в принципе да
H
убедили
VV
@nlinker @DogeShibu Сори бледнодицые что я был грубым. Мир труд жвачка и май ❤️
NL
@nlinker @DogeShibu Сори бледнодицые что я был грубым. Мир труд жвачка и май ❤️
🆗