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

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

Maxim Koltsov in Haskell

ну ведь там прямо в ошибке сказано что делать

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

хм, я не вижу там никаких рекомендаций от компилятора

10:18пожаловаться #3

--       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
--       When checking the class method:
--         runDb :: forall db a. Db db => M db a -> IO a
--       In the class declaration for ‘Db’
--    |
-- 12 |     runDb :: (M db) a -> IO

10:18пожаловаться #4

10:18пожаловаться #5

добавление AllowAmbiguousTypes не меняет ошибку, если вы об этом

10:19пожаловаться #6

(обновлю gist во избежание непоняток)

10:20пожаловаться #7

main :: IO ()
main = do
    db <- mkStmDb
    id1 <- runDb @StmDb $ nextId db

попробуйте

10:21пожаловаться #8

хотя вроде должно и без этого работать

10:21пожаловаться #9

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

с "id1 <- runDb @StmDb $ nextId db" работает. Но теряется полиморфизм и смысл заводить type family. Я обновил gist, чтобы сделать это более наглядным https://gist.github.com/oshyshko/92c1687de65d26d79c310f67ef79963d есть идеи, как уговорить его срастись?

Gist

StmDb.hs

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

https://gist.github.com/yan-sh/748ca80739de1390f2d163da5dafdce1

Gist

foo.hs

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

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

Как я понял, при вызове runDb не ясно, какой инстанс брать

10:47пожаловаться #12

зная db восстановить M db мы не можем

10:48пожаловаться #13

т.к. не инъективно, как говорилось выше

10:48пожаловаться #14

благодарю за разъяснение. Я ожидал, что компилятор сможет вывести StmDb через вызов mkStmDb. Как тогда можно прагматично решить эту проблему используя type families (если это возможно)? Хочется иметь 1 интфейс и несколько реализаций (stm, SQL etc.)

10:55пожаловаться #15

я обычно всегда пишу с тайп аппликейшенами

10:57пожаловаться #16

а если хочется замокать БД в тестах?

10:58пожаловаться #17