JS
да, в это объяснение я больше верю
Size: a a a
2021 June 06
MK
Ну а моё первое объяснение говорит почему изначально не так
[
3 с половиной?
JS
изначально вообще класс был
MK
Я тогда ещё не жил
2021 June 07
SG
Омг какая там огроменная кроличья норища! Ну не работает по-итогу всё-равно https://trac.macports.org/ticket/57821 😡
SG
но камент красивый ))
MK
Кажется настало время советовать никс
ЖК
Какие есть общепринятые "приёмы"/методы/"лучшие практики" безболезненного написания хорошего, общего, полиморфного кода, с тайпклассами?
(Так, чтобы без больших проблем с UndecidableInstances и AmbiguousTypes, когда приходится на каждую строчку кода две строчки type applications писать)
(Так, чтобы без больших проблем с UndecidableInstances и AmbiguousTypes, когда приходится на каждую строчку кода две строчки type applications писать)
KV
Есть такая практика: нормально делай, нормально будет
MK
Не использовать тайпклассы
ЗП
есть такая статья, но тут про энкодинг/декодинг
https://code.slipthrough.net/2018/03/13/thoughts-on-typeclass-codecs/
https://code.slipthrough.net/2018/03/13/thoughts-on-typeclass-codecs/
JS
1. универсальных советов нет
2. UndecidableInstances — обычно плохо, не используйте их. чтобы их не приходилось использовать, оборачивайте в newtype
3. AmbiguousTypes — ничего плохого. если вам мешают собачки, передавайте специальный аргумент-метку, несущий типы, например, Proxy
2. UndecidableInstances — обычно плохо, не используйте их. чтобы их не приходилось использовать, оборачивайте в newtype
3. AmbiguousTypes — ничего плохого. если вам мешают собачки, передавайте специальный аргумент-метку, несущий типы, например, Proxy
ЗП
к первому потом просто коэрсить?
JS
можно и явно разворачивать, можно так передавать
AA
> UndecidableInstances — обычно плохо, не используйте их.
ЧЕ?
ЧЕ?
JS
Чемпионат Европы?
AA
ёвропы
АХ
Писать тайпклассы так, чтобы тайпчекер мог вывести типы без ручных аннотаций