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

class Foo x where
  x :: Proxy x -> String

instance Foo Int where
  x _ = "Int"

instance Foo a where
  x _ = "-"

data SomeProxy = forall x . SomeProxy (Proxy x)

foo :: SomeProxy -> String
foo (SomeProxy p) = x p

источник

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

Danil Berestov in Haskell

> 2k21
> Proxy

источник

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

I O in Haskell

Я minimal reproducer делаю, лишнего не включаю

источник

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

Yan Shkurinskiy in Haskell

У меня был случай, когда без прокси было очень неудобно

источник

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

Danil Berestov in Haskell

Понял

источник

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

Danil Berestov in Haskell

Например?

источник

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

Yan Shkurinskiy in Haskell

Когда я делал тайпсейф пагинацию для жсон-рпц

Там была идея в том, что тип неизвестен, но функция продолжение, которая работает с ним, должна была передать его внутри себя через type application

источник

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

Yan Shkurinskiy in Haskell

На тот момент я сделал это как прокси, в функции его разбираю как _p :: Proxy a и потом могу a использовать для type application

источник

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

Yan Shkurinskiy in Haskell

(не уверен что тебе это что-то дало)

источник

18:15пожаловаться #12

Danil Berestov in Haskell

Неясна