Haskell

30 Dec 2017 01:54

Ты главное потом назад в ST не конвертируй.

Haskell

30 Dec 2017 01:54

конечно не хочу
я чувствую, что можно без IO сделать
но у меня нет другого выхода, видимо

Haskell

30 Dec 2017 01:53

БЕН ГАМАРИ ТАК СКАЗАЛ

Haskell

30 Dec 2017 01:52

пойду впихну туда stToIO и скажу, что так и надо

Haskell

30 Dec 2017 01:38

То есть понятно, что (forall s. ST s a) -> a это на самом деле энкодинг exists s. ST s a -> a, но вот чем это помогает не вижу.

Haskell

30 Dec 2017 01:35

ну почему тогда нельзя так сделать с Conduit без оберток?

Haskell

30 Dec 2017 01:33

кстати ты когда-то говорил про Forall это не подойдет тут?

Haskell

30 Dec 2017 01:32

(Убедился, что идея viable)

Haskell

30 Dec 2017 01:29

ну или я не так понял

Haskell

30 Dec 2017 01:28

а что если заюзать Control.Monad.Morph и перевести Conduit -> IORef и просто с ним рабоать? а потом обратно когда надо?

Haskell

30 Dec 2017 01:25

и зачем тебе там вообще ST, возьми IO и IORef

Haskell

30 Dec 2017 01:24

это, видимо, не сработает, потому что я всё-таки хочу уметь два таких кондуита объединять

видимо, буду пытаться запустить кондуит внутри кондуита тогда, а потом runST

Haskell

30 Dec 2017 01:23

Если тебе хочется делать runST под Conduit через hoist, то это должен быть ConduitM i o (forall s. ST s) r, который надо энкодить ньютайпом над ST чтобы не было импредикативности.

Haskell

30 Dec 2017 01:20

Я могу себе представить конверсию в одну сторону (forall floats out), но не в другую (forall floats in).

Haskell

30 Dec 2017 01:18

Будь F простым списком или Conduit

Haskell

30 Dec 2017 01:54

Брать s ~ RealWorld и делать stToIO это нормально, но ты уже runST не сделаешь.

Haskell

30 Dec 2017 01:54

Я не понял, ты в итоге в IO хочешь или нет?

Haskell

30 Dec 2017 01:53

https://github.com/well-typed/cborg/issues/156

Haskell

30 Dec 2017 01:47

ок, ну в общем не работает оно с AST

Haskell

30 Dec 2017 01:36

Я не понял при чем тут экзистенциальная квантификация, если тут квантор всеобщности, и как поможет Forall, который вообще для констрейнтов.

Haskell

30 Dec 2017 01:34

я так понял тут нужен квантор существования

Haskell

30 Dec 2017 01:33

Но у тебя, естественно, не будет внутри кондуита доступа к STRef, созданным за его пределами.

Haskell

30 Dec 2017 01:32

{-# LANGUAGE RankNTypes #-}

module STForall where

import Control.Monad.ST

newtype AST a = AST { runAST :: forall s. ST s a }

instance Functor AST where
fmap f (AST st) = AST (fmap f st)

instance Applicative AST where
pure a = AST (pure a)
AST f <*> AST a = AST (f <*> a)

instance Monad AST where
m >>= f = AST $ do
x <- runAST m
runAST (f x)

Haskell

30 Dec 2017 01:28

откуда IORef? там cborg как-то внутри у себя юзает ST, я не могу его попросить складывать всё в одну переменную

Haskell

30 Dec 2017 01:25

хорошо хорошо уговорил сейчас попробую

Haskell

30 Dec 2017 01:25

Почему не ST-ньютайп?

Haskell

30 Dec 2017 01:23

такс) пошла жесть тут) я пожалуй откланяюсь)

Haskell

30 Dec 2017 01:21

Если у тебя forall s. ConduitM i o (ST s) r, то лучшее что ты можешь сделать, это сначала запустить conduit, а потом сделать runST, и получить в итоге r

Haskell

30 Dec 2017 01:20

Потому что семантика у этих штук разная:

[forall s. ST s a] — список независимых ST действий, каждое из них можем запустить отдельно, между ними нет shared STRef-ов

forall s. [ST s a] — список ST-действий с одним и тем же s, между ними могут быть shared STRef-ы

Haskell

30 Dec 2017 01:18

Если у тебя forall a. F a, ты не получишь из этого F (forall a. a) уже никогда.