CD
оно же принцип Лисков
Size: a a a
2020 August 14
Т8
блин, я кажется наконец-то понял, что тов Ц. имеет в виду, забавно
да я тоже сначала не понимал. Вот тут он доходчиво объяснил
https://t.me/proriv_zaparti/12186
https://t.me/proriv_zaparti/12186
CD
Т-34 85
да я тоже сначала не понимал. Вот тут он доходчиво объяснил
https://t.me/proriv_zaparti/12186
https://t.me/proriv_zaparti/12186
он называет это оптимизацией, потому что это и правда может быть рассмотрено как оптимизация над готовым кодом (за что тут ратуют адепты мономорфизации)
CD
точно такая же оптимизация будет вноситься в генерики в kotlin.native
Т8
вот в чём проблема раста, как я понял
Т8
Т8
а то, что он становится статическим благодаря оптимизациям - ничего не даёт из возможностей, лишь перформанс
CD
да да да, именно это
Т8
и тут я понял, о чём он. Если всё так, то он прав
CD
Т-34 85
и тут я понял, о чём он. Если всё так, то он прав
А это так. Трейтовые конструкции Rust это те самые полностью подставленные генерики с расширенным синтаксисом
AZ
оно же принцип Лисков
при чем тут лисков?
AZ
лисков вообще к трейтам отношения не имеет
AZ
он про реализацию сабклассов с реализацией
AZ
у трейтов нет реализаций
p
Т-34 85
а то, что он становится статическим благодаря оптимизациям - ничего не даёт из возможностей, лишь перформанс
В расте статический полиморфизм всегда если ты не используешь dyn
CD
лисков вообще к трейтам отношения не имеет
принцип Лисков говорит, что наследование это и есть выражение "A -> B" для тайпклассов?
Т8
В расте статический полиморфизм всегда если ты не используешь dyn
ты этим обстоятельством никак не можешь воспользоваться
Т8
ну получишь перформанс, ну и всё
AZ
принцип Лисков говорит, что наследование это и есть выражение "A -> B" для тайпклассов?
принцип лисков говорит что при подстановке А на Б поведение не должно меняться. ПРоблема в том, что для тайпклассов это тривиально, потому что Б не может переопределять поведение А никак
CD
принцип лисков говорит что при подстановке А на Б поведение не должно меняться. ПРоблема в том, что для тайпклассов это тривиально, потому что Б не может переопределять поведение А никак
Смотри, есть концепт ShapeWithArea, если концепт Shape. Любое требование концепта Shape верно для ShapeWithArea, перед нами наследование. Если рассматривать Shape и ShapeWithArea как предикаты, получается ShapeWithArea<T> -> Shape<T> (импликация)