MK
а как ты их собираешь тогда?
Size: a a a
2021 February 11
AP
Предположу, что стаку плевать на "остекованность" зависимостей и он оттуда только кабал файлы берёт
AP
Скорее всего всё собирается на том солвере, который в "корневом" проекте используется.
MK
должно быть так
MK
и хлс так же должен реагировать по идее
ЗП
что за веселье
ЗП
теперь такое
can't load .so/.DLL2021 February 12
AA
не верю своим глазам, массивы и сортировка массивов в одном пакете. это вообще законно?
AP
Ненуачо? Кто-то сделал свой наборчик либ а ля "экосистему в экосистеме", написали хаддоки сносные, оформили хорошо. Я поддерживаю
MK
И текст в ютф8!
MK
Там по-моему текст это тупо обёртка над ByteArray#
DB
Читаю "Думанье типами". Там есть про Coerce. Я что-то так и не понял, как хаскель определяет, что
Map k v нельзя привести к Map (Reverse k) v, где Reverse это нютайп, у которого флипнут compareDB
Могёт кто популярно объяснить?)
AP
Map хочет Eq и Ord от ключей
AP
У Reverse они (инстансы) есть?
MK
Читаю "Думанье типами". Там есть про Coerce. Я что-то так и не понял, как хаскель определяет, что
Map k v нельзя привести к Map (Reverse k) v, где Reverse это нютайп, у которого флипнут compareты спрашиваешь почему именно нельзя или как сказать хаскелю что нельзя?
MK
на второй вопрос ответ — RoleAnnotations
MK
type Map nominal representative
MK
такая директива говорит, что коерсить под первым типо-параметром нельзя