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

Size: a a a

Haskell

1652 membersпожаловаться на группу

2021 January 03

Yan Shkurinskiy in Haskell

в общем, CAF'ов во втором случае точно больше)

источник

19:58пожаловаться #1

Ilya Kos in Haskell

Я хочу получить opaque type synonym

источник

20:08пожаловаться #2

Ilya Kos in Haskell

Чтобы когда инстанс нет, он писал имя этого type synonym, а не какого-то тайпкласса, который там внутри сидит

источник

20:09пожаловаться #3

Ilya Kos in Haskell

Ilya Kos

Я хочу получить opaque type synonym

Contraint synonym*

источник

20:09пожаловаться #4

Ilya Kos in Haskell

Про это я знаю https://kcsongor.github.io/opaque-constraint-synonyms/

( )

Opaque constraint synonyms

Hiding internal details of constraint synonyms.

источник

20:09пожаловаться #5

Ilya Kos in Haskell

Но у меня оно не пройдет потому что у меня там multiparam typeclass с fundeps

источник

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

Ilya Kos in Haskell

И из-за fundeps не могу сделать инстанс для какого-нибудь Opaque

источник

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

Ilya Kos in Haskell

Не знаю что делать

источник

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

кана in Haskell

то есть должен быть тот же самый тайпкласс, но инстансы полностью отдельные, чтобы не пересекаться с фандепами оригинального тайпкласса?

источник

20:19пожаловаться #9

Ilya Kos in Haskell

Ну у меня есть какой-то Foo a b c | a b -> c

источник

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

Ilya Kos in Haskell

И я хочу сделать type Syn a b c = (Foo a b c, Bar a b)

источник

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

Ilya Kos in Haskell

Но чтобы в ошибках Foo не было, т к он не входит в API

источник

20:23пожаловаться #12

Ilya Kos in Haskell

И пользователю будет не понятно

источник

20:23пожаловаться #13

Ilya Kos in Haskell

Я хочу чтобы он говорил “не могу найти Syn”, когда на самом деле нет Foo

источник

20:24пожаловаться #14

Ilya Kos in Haskell

Т е мне на самом деле мешает фандеп

источник

20:24пожаловаться #15

кана in Haskell

хм

источник

20:30пожаловаться #16

кана in Haskell

а блин, ошибка не та все равно

источник

20:30пожаловаться #17

Ilya Kos in Haskell

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

источник

20:35пожаловаться #18

Ilya Kos in Haskell

Не первый раз уже

источник

20:35пожаловаться #19

Ilya Kos in Haskell

Забавно что это так работает

источник

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