MK
менее явный же
Фигли
Size: a a a
2021 February 03
AA
Фигли
в сигнатуре все есть
AA
в случае фандепов
MK
Я не собираюсь с тобой спорить впрочем
MK
Это невозможно
A
Maxim
Запустить не могу. На другом компе жалуется на версиб glibs. И я так понял у меня dynamic linked, а наверное нужна static компиляция. Для меня это темный лес
https://github.com/utdemir/ghc-musl - вот это можно использовать, чтобы получить статический бинарник
M
https://github.com/utdemir/ghc-musl - вот это можно использовать, чтобы получить статический бинарник
Ой спасибо большое!. Может поможет. Я вообще в этой теме просто не шарю
AA
Я не собираюсь с тобой спорить впрочем
ну я даж не понимаю логики как
Foo Явно ТожЯвно
менее явно чемFoo Явно
-- где-то есть F Явно = ХеХеХе
A
Maxim
Ой спасибо большое!. Может поможет. Я вообще в этой теме просто не шарю
Ну или узнавать какая там версия glibc и точно так-же собирать в докере, где будет эта версия glibc.
MK
ну я даж не понимаю логики как
Foo Явно ТожЯвно
менее явно чемFoo Явно
-- где-то есть F Явно = ХеХеХе
Менее явно
MK
И все тут
AA
Менее явно
почему??
MK
Да вот так
MK
Что поделать
AA
ОК Ж((((
DB
Yuriy Pachin
Знакомлюсь с typr family, не очень понимаю мотивацию вместо
делать
class C c where
type t :: *
…
class C c t where
…
делать
class C c where
type t :: *
…
В первом случае нужен будет Functional dependencies и Multi type parameters
YP
В первом случае нужен будет Functional dependencies и Multi type parameters
И?
АХ
Чтобы определение заработало надо определить типофамилию. Так и определяй прямо в теле инстанса. По моему норм мотивация
YS
С ассоциированными тф, мне кажется, инстанс резолюшену будет проще работать
DB
Yuriy Pachin
И?
Я просто могу задать такой же, только обратный вопрос, зачем фандепы и мультитайпы если есть тайп фамили