Size: a a a

2020 December 30

AA

A64m AL256m qn<co... in haskell_blah
Velvet Darkness
Ну в любом случае суть в том, что у этих штук определение штуки и имплементация интерфейса в одном месте: class Foo implement Bar { ... }, а протоколы разделены на три части.
я б не стал в определении тайпклассов на это завязываться, первоначально инстанс вообще должен был быть или с типом или с классом, сироты - это последующее расширение, которого в тайпклассах 88 не было
источник

VD

Velvet Darkness in haskell_blah
A64m AL256m qn I0
я б не стал в определении тайпклассов на это завязываться, первоначально инстанс вообще должен был быть или с типом или с классом, сироты - это последующее расширение, которого в тайпклассах 88 не было
Сироты это когда инстанс, тип и тайпкласс все по разным модулям (или пакетам?) же? Если два любых из них в одном модуле (пакете?), то не сироты?
источник

AA

A64m AL256m qn<co... in haskell_blah
Velvet Darkness
Сироты это когда инстанс, тип и тайпкласс все по разным модулям (или пакетам?) же? Если два любых из них в одном модуле (пакете?), то не сироты?
да
источник

VD

Velvet Darkness in haskell_blah
Неуверен, но в обжц вроде так же, но там типизировалка не такая статическая, так что скорее всего сироты там изначально можно было делать.
источник

LO

Leonid 🦇 Onokhov in haskell_blah
АААААА СУУУУКА
источник

VD

Velvet Darkness in haskell_blah
Эт не я, оно само.
источник

LO

Leonid 🦇 Onokhov in haskell_blah
minio-hs делает вид что в с3 listObjects возвращает мета
источник

LO

Leonid 🦇 Onokhov in haskell_blah
потому что он это делает у миниио
источник

LO

Leonid 🦇 Onokhov in haskell_blah
но ни авс ни яндекс не возвращают
источник

LO

Leonid 🦇 Onokhov in haskell_blah
сука
источник

VD

Velvet Darkness in haskell_blah
А писал бы на жсе - сразу бы знал, что все врут и вокруг враги.
источник

AA

A64m AL256m qn<co... in haskell_blah
Velvet Darkness
Неуверен, но в обжц вроде так же, но там типизировалка не такая статическая, так что скорее всего сироты там изначально можно было делать.
не понятно, какой смысл вообще говорить о тайпкласах без очень статической типизировалки
источник

VD

Velvet Darkness in haskell_blah
A64m AL256m qn I0
не понятно, какой смысл вообще говорить о тайпкласах без очень статической типизировалки
Я не сказал, что там нет статической типизировалки. Она там есть, просто не настолько строгая, как в хаскеле.
источник

AA

A64m AL256m qn<co... in haskell_blah
тут дело не в строгости, а именно в статичности
источник

VD

Velvet Darkness in haskell_blah
A64m AL256m qn I0
тут дело не в строгости, а именно в статичности
И я говорил конкретно про проверку такой фигни, что несколько инстансов одного и того же класса для одного и того же типа.
источник

VD

Velvet Darkness in haskell_blah
Хаскелл вроде ругается, а обжц не ругается, но я оче неуверен, потому что давно это было
источник

VD

Velvet Darkness in haskell_blah
Но главная суть тупклассов в этих протоколах таки есть
источник

AA

A64m AL256m qn<co... in haskell_blah
так главная суть тайпклассов как раз в том, нескольких инстансов нет
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Наконец-то раскрыта главная суть тайпклассов
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Видимо, эта суть в том, что в другом месте реализация пишется
источник