JS
Почему не сделать
и
instance (ISO b a) => ISO a bи
instance (ISO a b) => MyClass a bпервая строчка рекурсивно в себя уходит
Size: a a a
2021 January 16
IK
там выше грязный хак, но вообще так не надо делать, потому что когда результат компиляции одного модуля зависит от наличия импортов в десятом, — это плохо
Буквально любое применение type classes
AA
нет, практически любое как раз не зависит
AA
лол, как их не импортнуть-то?
AA
почти всегда если класс импортнут или типдля которого инстанс есть - то и инстанс импортнут
AA
это как раз нормальная ситуация, хотя некоторые исключения и возможны
JS
импортнул – компилится, не импортнул – не комплиится
не компилится — это хорошо. а вот если меняется поведение, то хуже. хотя incoherent именно это и значит
R
первая строчка рекурсивно в себя уходит
гхц кеширует констрейнты, так что оно к зацикливанию не должно приводить
AA
если он не компилится из-за видимости инстанса, то это такой инстанс (сиротский, например) из-за которого он мог бы и скомпилится но поведение изменить, потому что этот чек ненадежно работает
R
не компилится — это хорошо. а вот если меняется поведение, то хуже. хотя incoherent именно это и значит
с инкогерентными инстансами поведение может меняться если просто два констрейнта в сигнатуре местами поменять. Или два элемента в обычном списке
AA
учел замечание, что функции выглядят одинаковыми и добавил в их боксы SRT, также добавил номера конструкторов из инфотейбла
AA
эх, скоро можно будет из инфотейбла локейшон в коде брать (ценой бинарей в полгига размером)
MK
взял бы ещё
2 :: Int, чтобы S# не смущалMK
а что такое SRT?
AA
взял бы ещё
2 :: Int, чтобы S# не смущалтак не откуда взять что это Integer же
MK
во-первых там написать "nteger"
AA
только делать базу соотвествий имен конструкторов и типов разве что
MK
во-вторых ты говорил