DF
Несерьезно
Size: a a a
2020 December 30
AA
да ладно
VD
Ну и короч в обжц та же самая фигня с протоколами, только они зовутся протоколами, а не тайпклассами.
DF
Да у них до этого намного больше было завязки на технологичность через интеллектуальную собственность
VD
А, ну еще у них есть опциональные функции\методы, которые можно не делать и тогда жахнет в рантайме
Oℕ
Только они зовутся протоколами, а не интерфейсами
VD
Не, интерфейсы там тоже есть, но это обычные ооп-интерфейсы.
VD
Хотя сейчас не помню, если там прям отдельно интерфейсы или вместо них классы без имплементации методов а-ля плюсцы.
Oℕ
нет интерфейсом в обжц называется то, что в обычном оопе называется публичными методами
Oℕ
в обычном оопе интерфейс - это абстракция, которая может много реализаций иметь
AA
Dollar Føølish
Да у них до этого намного больше было завязки на технологичность через интеллектуальную собственность
не, я вот как раз считаю что эппл до того, как начал процессоры разрабатывать собственные, меньше 10 лет назад вроде, или когда это было? и не был технологической компанией никогда
DF
В обычном фп тайпкласс это абстракция которая может много реализаций иметь
VD
Ну в любом случае суть в том, что у этих штук определение штуки и имплементация интерфейса в одном месте:
class Foo implement Bar { ... }, а протоколы разделены на три части.Oℕ
Dollar Føølish
В обычном фп тайпкласс это абстракция которая может много реализаций иметь
да
VD
Dollar Føølish
В обычном фп тайпкласс это абстракция которая может много реализаций иметь
Для одного и того же типа?
Oℕ
Для одного и того же типа?
нет
DF
С экзистенциальными типами да
VD
> inb4 всякие извращения
Oℕ
Dollar Føølish
С экзистенциальными типами да
даже с экзистенциальными типами нет
DF
Ну хз