Size: a a a

2020 July 04

D

Dika in rust_offtopic
Hirrolot
в вариантах перечислений
В хаскеле без гадт тоже нельзя, если я правильно тебя понял
источник

H

Hirrolot in rust_offtopic
Dika
В хаскеле без гадт тоже нельзя, если я правильно тебя понял
В Haskell 98 насколько я понимаю можно ставить констрейнты в тип-суммах
источник

D

Dika in rust_offtopic
Нельзя, насколько я помню
источник

D

Dika in rust_offtopic
источник

H

Hirrolot in rust_offtopic
источник

H

Hirrolot in rust_offtopic
понятно
источник

D

Dika in rust_offtopic
Hirrolot
choice(
   Expr,
   variant(BNode, BExprPtr)
   variant(INode, IExprPtr)
   variant(IfFalsy, Expr, Expr)
);
variant(IfFalsy, Expr, Expr)
Здесь Expr могут быть разными
источник

H

Hirrolot in rust_offtopic
Dika
variant(IfFalsy, Expr, Expr)
Здесь Expr могут быть разными
это да
источник

H

Hirrolot in rust_offtopic
но все равно мне не нравится что получается 1 большое бог-adt
источник

D

Dika in rust_offtopic
Его удобнее использовать
источник

H

Hirrolot in rust_offtopic
у тебя потом выйдет огромный евал на 2 экрана
источник

H

Hirrolot in rust_offtopic
а так мог бы хоть в разные евалы распихать
источник

H

Hirrolot in rust_offtopic
ну можно наверное так с рефайнед типами
источник

H

Hirrolot in rust_offtopic
но оверкилл помоему
источник

AZ

Alex Zhukovsky in rust_offtopic
давай на общеизвестном языке, а не своём плз
источник

D

Dika in rust_offtopic
Hirrolot
а так мог бы хоть в разные евалы распихать
В случае с гадт тоже можно сделать разные евалы для Expr Int и Expr Bool, выразительность не теряется
источник

H

Hirrolot in rust_offtopic
ну в принципе да
источник

H

Hirrolot in rust_offtopic
убедили
источник

VV

Victor Victorov in rust_offtopic
@nlinker @DogeShibu Сори бледнодицые что я был грубым. Мир труд жвачка и май ❤️
источник

NL

Nick Linker in rust_offtopic
Victor Victorov
@nlinker @DogeShibu Сори бледнодицые что я был грубым. Мир труд жвачка и май ❤️
🆗
источник