AP
Его может требовать какой-то пакет на этапе сборки. Точно так же приезжают всякие alex и happy, если пакет хочет какие-то грамматики скомпилировать.
Size: a a a
2021 May 03
AP
И вообще, транзитивная зависимость от Cabal и прямая от пакета с одной функцией — разные вещи.
[
Вспоминается пакет can-i-haz, где суть вообще в одном тайпклассе, который дерайвится
[
Там, конечно, очень умные абстракции для кт-рефлексии на жинериках, но сути это не меняет
AP
Тайпкласс в отдельном пакете — вообще понятная штука. Тайпкласс описывает идею, маленький пакет даёт возможность эту идею переиспользовать.
AP
Как раз одновременно несколько классов взаимосвязанных не так часто встречаются.
DI
Нил Митчелл одобряет
[
Кстати, а почему в хаскеле рефлексия называется Generic ?
AA
тайпкласс в отдельном пакете зависящим от всего хекеджа
AP
Потому что это не рефлексия?
[
Ну, компайл-тайм точно
AP
если там инстансы для всего хакеджа, то почему нет?
[
Первая половина хакеджа скачалась, вторая уже на подходе...
AA
тут не "почему нет", а "как же иначе"
AP
Generic даёт обобщённое представление на уровне значений для произвольных типов. Вот вам смысл имени
AP
Да, так точнее
AP
Иначе — пакеты с сиротами. Что есть фу
[
Инстансы для всего хакеджа в отдельном пакете🤔
DI
utils шейминг, орфан шейминг, как бизнес велью-то доставлять?
AP
Инстансы должны лежать либо с классом, либо с типом. Альтернатива инстансам в одном пакете для всего — пуллреквесты во все пакеты хакеджа