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

Size: a a a

Haskell

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

2020 May 06

Alexander Vershilov in Haskell

тогда ты можешь вызвать функцию как qux (magick f)

источник

00:37пожаловаться #1

Alexander Vershilov in Haskell

Вопрос, что такое magic и как его построить

источник

00:37пожаловаться #2

Alexander Vershilov in Haskell

Он должен построить интерпретатор твоей m

источник

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

Alexander Vershilov in Haskell

Для этого ему нужен стейт и функция выполнения

источник

00:38пожаловаться #4

Alexander Vershilov in Haskell

Т.е. для StateT s IO это s и runStateT

источник

00:38пожаловаться #5

Alexander Vershilov in Haskell

И т.п.

источник

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

Misha Puzanov in Haskell

забегая вперед — мне же еще нужно unmagic :: IO (Magic m a) -> m a?

источник

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

Alexander Vershilov in Haskell

Это один из вариантов

источник

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

Misha Puzanov in Haskell

так

источник

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

Alexander Vershilov in Haskell

monad-control - что делает оно по стеку трансформеров из каждого достаёт текущий стейт и функцию вычисления

источник

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

Alexander Vershilov in Haskell

(Ну функция оно по трансформерам опредяется)

источник

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

Alexander Vershilov in Haskell

restoreT - интерпретатор

источник

00:40пожаловаться #12

Alexander Vershilov in Haskell

liftWith - построитель состояния

источник

00:40пожаловаться #13

Alexander Vershilov in Haskell

Вот, а теперь например вы хотим выкинуть автоматику т.к. она сложная

источник

00:40пожаловаться #14

Alexander Vershilov in Haskell

Мы можем сделать

class LiftApp m where
    mkLift :: m (forall a . m a -> IO a)

источник

00:41пожаловаться #15

Alexander Vershilov in Haskell

Оно вернёт функцию, которая захватила текущее состояние и может его запустить в другом месте

источник

00:42пожаловаться #16

Alexander Vershilov in Haskell

тогда сделав
lift <- mkLift
можно его запустить в другом месте

источник

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

Alexander Vershilov in Haskell

lift <- mkLift
liftIO $ async $ lift f

источник

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

Alexander Vershilov in Haskell

функция mkLift подозрительно напоминает unlift 🙂

источник

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

Alexander Vershilov in Haskell

unliftio сделано вокруг этой идеи

источник

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