169 похожих чатов

Какие есть общепринятые "приёмы"/методы/"лучшие практики" безболезненного написания хорошего, общего, полиморфного

кода, с тайпклассами?
(Так, чтобы без больших проблем с UndecidableInstances и AmbiguousTypes, когда приходится на каждую строчку кода две строчки type applications писать)

7 ответов

12 просмотров

Есть такая практика: нормально делай, нормально будет

Не использовать тайпклассы

1. универсальных советов нет 2. UndecidableInstances — обычно плохо, не используйте их. чтобы их не приходилось использовать, оборачивайте в newtype 3. AmbiguousTypes — ничего плохого. если вам мешают собачки, передавайте специальный аргумент-метку, несущий типы, например, Proxy

Zygohistomorphic Prepromorphism🇺🇦
к первому потом просто коэрсить?

можно и явно разворачивать, можно так передавать

Писать тайпклассы так, чтобы тайпчекер мог вывести типы без ручных аннотаций

тайп-апликейшен это просто еще одни аргументы. Если функции в классе требуют две строчки аргументов, то это просто такая функция. Если какие-то аргументы семантически зависят от других аргументов ранее переданных, то это можно явно указать компилятору фандепами или тайп-фемелями

Похожие вопросы

Обсуждают сегодня

Какой-то там пердун в 90-х решил, что есть какая-то разная типизация. Кого вообще это волнует?
КТ315
49
void terminal_scroll() { memmove(terminal_buffer, terminal_buffer + VGA_WIDTH, buffer_size - VGA_WIDTH); memset(terminal_buffer + buffer_size - VGA_WIDTH, 0, VGA_WIDTH); ...
Егор
47
Всем привет! Подскажите, пожалуйста, в чем ошибка? Настраиваю подключение к MySQL. Либы лежат рядом с exe. Все как по "учебнику"
Евгений
16
А можете как-то проверить меня по знаниям по ассемблеру?
A A
132
Здравствуйте! У меня появилась возможность купить книгу "Изучай Haskell во имя добра!". Но я где-то слышал, что эта книга устарела. Насколько это правда??
E
22
Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой код import Data.List (isInfixOf) removing :: String -> [String] ->...
E
10
Камрады, кто тесно работал с vtv, хотел уточнить. Ширина column задаётся жёстко на этапе создания дерева или можно в рантайме ее менять программно (не мышкой)?
Ed Doc
10
да ладно ... что там неочевидного ? глянуть в исх-ки датасета и/или кверика чтобы понять в каком месте и как выполняется обращения к св-вам blablaSQL - минутное дело, даже е...
Сергей
7
Здесь для arm кто-нибудь кодит ?
Nothing
52
Всем привет, у меня есть сервер принимающий входящие HTTP подключения, как проверить, что подключение было через прокси или нет, есть какие то поля в заголовках по которым мо...
Кибер Бомж
8
Карта сайта