CD
понятно что подсядем на двойные диспетчера
Size: a a a
2020 August 14
AZ
не надо в смысле совершенно точно все узлы выписали?
да
AZ
экспрешн проблем же
AZ
ты решаешь что у тебя чаще меняется и все
CD
ну такое, и какого списка достаточно
AZ
ну такое, и какого списка достаточно
ну вот иерархия по ссылке не менялась последние лет 10
AZ
кмк вполне стабильно для энума
CD
нет, это закрытая конструкция которую не надо пополнять.
Когда пишут её в открытую получаются такие уродцы https://docs.microsoft.com/en-us/dotnet/api/system.linq.expressions.expressionvisitor?view=netcore-3.1#methods
Когда пишут её в открытую получаются такие уродцы https://docs.microsoft.com/en-us/dotnet/api/system.linq.expressions.expressionvisitor?view=netcore-3.1#methods
ну да, типичный двойной диспетчер в рантайме
CD
ну вот иерархия по ссылке не менялась последние лет 10
а там дело немного не в этом
AZ
ну вот вопрос зачем делать визитор который эмулирует энумы если можно их взять честные и получиь то же самое
AZ
ну да, типичный двойной диспетчер в рантайме
ты про экспрешн проблем слышал?
CD
ты про экспрешн проблем слышал?
смотри, в чём беда
CD
вот ты написал енум Expr
CD
заметь, что все бинарные операции в нём - коммутативные
CD
теперь кто угодно написал visitor который работает только в коммутативном случае
CD
даже если твой язык детектировал проблему при его расширении, он оказывается в ситуации "split", когда одна изначальная сущность Expr должна быть разбита на две - Expr и CommutativeExpr
CD
это официально худшая бага, которую ты можешь посадить в инфраструктуре, она исправляется болью, страданием и вычиткой всего использующего Expr кода
CD
почему это произошло? потому что enum описывает контракт как "одно из", а не как "множество допустимых операций"
допустима любая операция, применимая ко всем элементам enum
допустима любая операция, применимая ко всем элементам enum
AZ
да нет, просто делаешь Expr в Expr TCommutative и дальше сгатами как я показывал
Add : Expr<True>
Div : Expr<False>
и фиксиь ошибки компиляции
Add : Expr<True>
Div : Expr<False>
и фиксиь ошибки компиляции
AZ
почему это произошло? потому что enum описывает контракт как "одно из", а не как "множество допустимых операций"
допустима любая операция, применимая ко всем элементам enum
допустима любая операция, применимая ко всем элементам enum
у тебя есть контракт экспрешна и контракт тех кто его обрабатывает. Если ты сильно поменял семантику то их НАДО ломать