Oℕ
и в каком же мейнстримном языке есть протоколы?
кложура
Size: a a a
2020 December 30
DF
Просто пора признать что Эппл это не технологическая компания
Oℕ
и в каком же мейнстримном языке есть протоколы?
XML
VD
это значит его кто-то вместо вас собирает так, что он гарантировано одинаковый для одинаковых типов соберётся, а суть ооп в том, чтобы для одного типа много разных словариков было
Погоди, у тайпклассов же тоже разные словарики бывают. В
Traversable t => (a -> b) -> t a -> t b функции в словарике для траверсабла разные для разных типов. ВVD
и в каком же мейнстримном языке есть протоколы?
Обжц, швифт
Oℕ
Погоди, у тайпклассов же тоже разные словарики бывают. В
Traversable t => (a -> b) -> t a -> t b функции в словарике для траверсабла разные для разных типов. Вщас бы писать ,"погоди" не противореча утверждению
VD
щас бы писать ,"погоди" не противореча утверждению
Т.е. тайпклассы и протоколы это таки одно и то же?
Oℕ
Т.е. тайпклассы и протоколы это таки одно и то же?
нет
VD
Тогда не понятно чему я не противоречу, если я противоречу противоречию же
AA
Погоди, у тайпклассов же тоже разные словарики бывают. В
Traversable t => (a -> b) -> t a -> t b функции в словарике для траверсабла разные для разных типов. Вразные для разных типов
весь смысл ООПЕ в том что там для одного типа Foo могут быть разные словари, соотв. разным наследникам Foo
весь смысл ООПЕ в том что там для одного типа Foo могут быть разные словари, соотв. разным наследникам Foo
Oℕ
Т.е. тайпклассы и протоколы это таки одно и то же?
просто ты написал "погоди" будто бы как-то оспорил сказанное
VD
просто ты написал "погоди" будто бы как-то оспорил сказанное
Ну я считал, что да.
Oℕ
Ну я считал, что да.
я написал "у одного типа одинаковые словари", ты написал "у разных типов разные словари"
Шерлок, у нас минута на разгадку
Шерлок, у нас минута на разгадку
VD
разные для разных типов
весь смысл ООПЕ в том что там для одного типа Foo могут быть разные словари, соотв. разным наследникам Foo
весь смысл ООПЕ в том что там для одного типа Foo могут быть разные словари, соотв. разным наследникам Foo
Ну т.е. как в тайпклассах - словарик с Traversable t разный для разных типов, которые имплементят traversible
AA
Ну т.е. как в тайпклассах - словарик с Traversable t разный для разных типов, которые имплементят traversible
так не так, а наоборот
VD
Чот у жопочтение сегодня походу, ща, ребутнусь.
VD
Давайте чтоль уберем эти дельты и соберем целый снапшот утверждения.
В хаскелле:
Есть тип Т, есть класс К, есть имплементация класса К для типа Т - К Т. В месте вызова функции с К Т - К Т будет один и тот же. Не может быть чтобы было два разных К Т.
В хаскелле:
Есть тип Т, есть класс К, есть имплементация класса К для типа Т - К Т. В месте вызова функции с К Т - К Т будет один и тот же. Не может быть чтобы было два разных К Т.
VD
Тут правильно же понимаю?
VD
inb4 всякие извращения.
AA
Dollar Føølish
Просто пора признать что Эппл это не технологическая компания
а как же эпловые процессоры?