Телеграмм чат группы haskellru страница 16297

10:59пожаловаться #1

чтобы разрешить неоднозначность

10:59пожаловаться #2

Oleksandr Shyshko in Haskell

а если внутри бизнес логики несколько вызовов runDb? (анлогично run, и хочется тестировать `run`)

11:00пожаловаться #3

в каждый передавать

11:01пожаловаться #4

можно написать один раз обёртку

11:01пожаловаться #5

runDb' = runDb @m

11:01пожаловаться #6

где m будет экзистенциальная монада

11:01пожаловаться #7

в которой функция бизнес-логики

11:02пожаловаться #8

можно по разному, наверное)

11:02пожаловаться #9

тут же вроде достаточно явно дб передать

11:04пожаловаться #10

но два раза придется вроде

11:05пожаловаться #11

runDb @db $ nextId @db

11:05пожаловаться #12

Oleksandr Shyshko in Haskell

как бы да, но хочется оставить run полиморфным, чтобы ему можно было скармливать различные реализации Db

11:05пожаловаться #13

или добавить как говорится фандепы

11:05пожаловаться #14

так и оставляй полиморфным

11:05пожаловаться #15

полиморфное не то же самое, что неопределённое)

11:05пожаловаться #16

@db же, а не какой-то @SomeDb

11:06пожаловаться #17

тут db это типопеременная из сигнатуры

11:06пожаловаться #18

в тайпфемели

GitHub Gist: instantly share code, notes, and snippets.

11:06пожаловаться #19

Oleksandr Shyshko in Haskell

вариант c добавлением неиспользуемого параметра в runDb работает https://gist.github.com/oshyshko/92c1687de65d26d79c310f67ef79963d

Gist

StmDb.hs