K
Что технически все инстансы либо должны быть объявлены "одновременно", либо входить в сигнатуры своих контейнеров
Size: a a a
2020 January 28
А
понятное дело, что в одном модуле не может быть два инстанса для одного типа, иначе будет плохо
AT
понятное дело, что в одном модуле не может быть два инстанса для одного типа, иначе будет плохо
Когерентность - глобальное свойство, в этом весь пафос и удобство.
AT
Неудобства тоже бывают.
А
Когерентность - глобальное свойство, в этом весь пафос и удобство.
эммм, а как оно обеспечивается то?
AT
Но с некогерентными инстансами это уже не классы типов. Не то, что было описано в основополагающей статье.
K
Фокус в том, что в хаскелле нельзя запретить экспорт инстанса. Они автоматически утекают в туда, куда модуль импортируется.
AT
эммм, а как оно обеспечивается то?
Orphan rules.
K
И это сделано как раз для того, чтобы не было возможности выстрелить в ногу себе
А
ну вот если в одном модуле импортируется один инстанс, в другом другой
А
то в чём собственно проблема?
K
Т.е., инстанс должен быть либо в модуле, где объявлен тип, либо в модуле, где объявлен класс
AV
Если они оба импортируются в третий даже если косвенно, то компилятор ругнётся
K
Иначе - варнинг
А
А
понял, спасибо
AV
Но сделать это можно только с warning-ом и orphan instance
AT
то в чём собственно проблема?
О! Это очень прикольная тема! 😄
Интересно начинается, когда третий модуль пытается скомбинировать данные или функции из обоих предыдущих, когда они используют разные инстансы
Интересно начинается, когда третий модуль пытается скомбинировать данные или функции из обоих предыдущих, когда они используют разные инстансы
K
Особенно весело, если оба модуля - third party, причём оба нужны
AT
Kir
Особенно весело, если оба модуля - third party, причём оба нужны
Особенно весело - это когда компилятор молча даёт тебе это сделать, но поведение получается какое попало и обеспечивает недели увлекательного дебага. 😄