P
Ваш полиморфизм подтипов же оверрейтед.
расширять снаружи всё же проще, чем адт
Size: a a a
2020 February 25
DF
Ваш полиморфизм подтипов же оверрейтед.
Как его можно в фп внедрить?
DF
Без потерь
λ
расширять снаружи всё же проще, чем адт
Для этого есть тайпклассы, модули и даже рекорды с параметричностью
λ
Только далеко не всегда что-то должно быть открытым для расширения
λ
Например те же булеан и мэйби
P
всё-таки мне контракты/трейты/интерфейсы нравятся, если они сделаны хорошо, тип пусть сам разбирается, как его реализовать, а ты просто ждёшь от него определённого интерфейса взаимодействия, а наследование, собственно для того, что можно расширить, но оно не всегда нужно, согласен
P
Например те же булеан и мэйби
да, иногда у тебя есть весь перечень -- мультитон, тогда подходит адт, ведь ты можешь покрыть всё множество значений просто, но иногда множество значений типа слишком велико, или его надо сильно разбивать, тогда открытая иерархия лучше
p
всё-таки мне контракты/трейты/интерфейсы нравятся, если они сделаны хорошо, тип пусть сам разбирается, как его реализовать, а ты просто ждёшь от него определённого интерфейса взаимодействия, а наследование, собственно для того, что можно расширить, но оно не всегда нужно, согласен
буд-то трейты не являются наследованием, лол
DF
Может как то без механики наследования можно сабтайпинг в фп внедрить
P
буд-то трейты не являются наследованием, лол
ну, это скорее контракты
P
типа "вот это вот может прыгать с передподвыперевертом"
p
ну, это скорее контракты
в чем разница между ним и наследованием
P
в чем разница между ним и наследованием
наследование это неявная композиция, не более
p
наследование это неявная композиция, не более
при чем тут композиция
λ
буд-то трейты не являются наследованием, лол
Не являются, они выражаются через рекорды с функциями и параметрический полиморфизм
P
при чем тут композиция
при том, что наследование это неявная композиция
p
при том, что наследование это неявная композиция
...
P
...
у тебя наследник состоит из себя и родителя, при этом некоторый код он делегирует родителю, а некоторый делает сам
AK
при том, что наследование это неявная композиция
Если А наследует Б, то я могу Б присвоить А. Если А имеет Б, я не могу Б присвоить А