DS
Т-34 85
нет наследования. И это таки важно. Особенно затрудняется переиспользование кода
Переиспользование кода достигается композицией прежде всего. Наследование для переиспользования кода - это для 90х подход
Size: a a a
2020 April 01
DS
Уже поняли, что так себе это работает.
DS
Даже в ООП языках
Т8
@DogeShibu если бы в плюсах при возниковении ромба была бы ошибка компиляции, тогда бы множественное наследование оправдалось?
p
foo :: Result
foo = do
bar <- Ok 10
let baz = bar + 10
liftIO $ logInfo baz
Ok bazА смысл в кейворде do если вся функция это этот кейворд?
А⚙
за тегом идет юнион всех вомзожных типов
Не совсем, в расте скорее тег лежит в юнионе, потому что иначе нельзя было бы делать enum layout optimisation
p
Т-34 85
@DogeShibu если бы в плюсах при возниковении ромба была бы ошибка компиляции, тогда бы множественное наследование оправдалось?
Множественное наследование не нужно
А⚙
Есть динамический диспатч - есть ООП
Ну, тогда Haskell тоже ООП
DS
Т-34 85
@DogeShibu если бы в плюсах при возниковении ромба была бы ошибка компиляции, тогда бы множественное наследование оправдалось?
Тут сложный вопрос, потому что есть языки, где проблему решили просто чётко определенном приоритетом при ромбовидном наследовании и оно вроде даже как-то работает.
DS
Ну, тогда Haskell тоже ООП
Да
А⚙
Множественное наследование не нужно
Это ты не нужен
Т8
Множественное наследование не нужно
скала не нужна?
G
Это ты не нужен
Жырк протекает
А⚙
(Хотя множественное наследование действительно не нужно)
p
Т-34 85
скала не нужна?
Только Раст нужен
А⚙
Жырк протекает
Дыа
А⚙
Меня больше всего смущает в этом выборе то, что в ОО мире трейт совершенно другую штуку обозначает.
Это уже проблемы ООП
DS
Т-34 85
скала не нужна?
Ну там всё же наследование множественное только для трейтов работает.
DS
Это уже проблемы ООП
Нет, это проблемы выбора кривой терминологии, чтобы не испугать людей, которые проспали всё, что происходило в научной среде вокруг ЯП за последние 30 лет
Т8
Ну там всё же наследование множественное только для трейтов работает.
а чем трейты отличаются от абстрактных классов?