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

Size: a a a

Haskell

2021 February 02

data Foo :: Type -> Type where ...

fooState :: MonadState m (Map Int Int) => Foo ~> m

instance MonadState My (Map Int Int)

fold :: Monad m =>(f  ~> m ) -> Free f ~> m

что из вышеперечисленного вы называете интерпретатором
Free Foo в My
?

Натуральную трансформацию он видимо называет

источник

17:14пожаловаться #1

Yan Shkurinskiy in Haskell

fooState :: MonadState m (Map Int Int) => Foo ~> m

не уверен что понимаю это сигнатуру

источник

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

кана in Haskell

fooState :: MonadState m (Map Int Int) =>
  (forall x. Foo x -> m x)

источник

17:15пожаловаться #3

Yan Shkurinskiy in Haskell

кана

fooState :: MonadState m (Map Int Int) =>
  (forall x. Foo x -> m x)

так лучше)

источник

17:15пожаловаться #4

Oℕ

Oleg ℕizhnik in Haskell

Yan Shkurinskiy

fooState :: MonadState m (Map Int Int) => Foo ~> m

не уверен что понимаю это сигнатуру

forall a m. MonadState m (...) => Foo a -> m a

источник

17:15пожаловаться #5

Yan Shkurinskiy in Haskell

fold :: Monad m => (f  ~> m ) -> Free f ~> m

fold :: Monad m => (forall a . f a -> m a) -> Free (forall b . f b -> m b)

верно?

источник

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

Oℕ

Oleg ℕizhnik in Haskell

Yan Shkurinskiy

fold :: Monad m => (f  ~> m ) -> Free f ~> m

fold :: Monad m => (forall a . f a -> m a) -> Free (forall b . f b -> m b)

верно?

да forall b можно влево перетянуть

источник

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

Yan Shkurinskiy in Haskell

я просто не видел таких записей, кажется)

источник

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

Yan Shkurinskiy in Haskell

оке

источник

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

Maxim Koltsov in Haskell

Yan Shkurinskiy

я просто не видел таких записей, кажется)

И не надо

источник

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

Maxim Koltsov in Haskell

Зачем ты споришь с академиками?))

источник

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

Yan Shkurinskiy in Haskell

я вот тоже сейчас задумался...

источник

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

Maxim Koltsov in Haskell

Ты пишешь прод, а они только волнистые стрелки рисуют

источник

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

Maxim Koltsov in Haskell

Баловство

источник

17:18пожаловаться #14

Yan Shkurinskiy in Haskell

сидел бы тихо, клепал свой круд

источник

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

Yan Shkurinskiy in Haskell

и не вякал тут(

источник

17:18пожаловаться #16

Yan Shkurinskiy in Haskell

(ладно, на вопрос надо ответить, сейчас...)

источник

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

Maxim Koltsov in Haskell

Yan Shkurinskiy

и не вякал тут(

Я не это имел в виду)

источник

17:19пожаловаться #18

Yan Shkurinskiy in Haskell

Maxim Koltsov

Я не это имел в виду)

Я сам вполне способен додумать!

источник

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

Yan Shkurinskiy in Haskell

Oleg ℕizhnik

data Foo :: Type -> Type where ...

fooState :: MonadState m (Map Int Int) => Foo ~> m

instance MonadState My (Map Int Int)

fold :: Monad m =>(f  ~> m ) -> Free f ~> m

что из вышеперечисленного вы называете интерпретатором
Free Foo в My
?

fold видимо

источник

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