CD
что в матче?
перечисление всех известных автору реализаций интерфейса
Size: a a a
2020 August 14
AZ
а, ты про то чтобы обжект таскать и пытаться сдаункастить
AZ
ну тут говно в том что ты никогда не знаешь какие варианты учел автор
AZ
не залезая в функцию
CD
ну тут говно в том что ты никогда не знаешь какие варианты учел автор
он правда всё учел, мамой клянусь)
AZ
ну с такой повесткой можно и на питоне писать
CD
ну тут говно в том что ты никогда не знаешь какие варианты учел автор
по сути он только что взял интерфейс и преобразовал в ADT
CD
кажется, тебе это не понравилось
CD
при этом проблему в этом ты не увидишь - всё работать будет
CD
до тех пор, пока не надо новую опцию дописать
AZ
по сути он только что взял интерфейс и преобразовал в ADT
задача адт - чтобы у тебя код работал без default: throw new NotImplemented("Should never throw")
p
при этом проблему в этом ты не увидишь - всё работать будет
Non exhaustive это очень большая проблема
p
Ну и динамический диспатчинг на интерфейсах это не zero-cost
CD
задача адт - чтобы у тебя код работал без default: throw new NotImplemented("Should never throw")
встрой эту проверку в компилятор, теперь-то расписать интерфейс по всем возможностям точно хорошая идея?
CD
у компилятора в конце мир закрыт (если убрать мутирующую рефлексию), он может провалидировать, что весь список потомков перечислен
AZ
у компилятора в конце мир закрыт (если убрать мутирующую рефлексию), он может провалидировать, что весь список потомков перечислен
такая проверка называется адт
CD
такая проверка называется адт
Нет, не называется. В ADT есть ограничение, что перечисление делается сразу, а теперь тебе еще все дополнительно размазало по коду. Какая будет неожиданность, когда ты запланируешь следующий релиз, посчитаешь сроки, а в самый наивный момент при реализации MyShape : Shape неожиданно узнаешь, что с точки зрени трети кодовой базы MyShape вообще не является Shape
CD
Потому что вот тут вот есть вычисление площади Shape, а для фрактала Мандельброта это бессмысленно
CD
Упрощение реализации достигнуто размазыванием контракта Expr по всей кодовой базе
AZ
Нет, не называется. В ADT есть ограничение, что перечисление делается сразу, а теперь тебе еще все дополнительно размазало по коду. Какая будет неожиданность, когда ты запланируешь следующий релиз, посчитаешь сроки, а в самый наивный момент при реализации MyShape : Shape неожиданно узнаешь, что с точки зрени трети кодовой базы MyShape вообще не является Shape
в общем, если ты сформулируешь конкретно с кодом как это должно работать будет понятнее