0

这个问题是这个线程的续集：https ://stackoverflow.com/a/54317095/4400060

我在那里询问有关携带STRef的ReaderT环境并在其下执行 ST-actions 的问题。我的设置现在看起来像：

import Data.HashTable.ST.Cuckoo as HT

-- |Environment for Comp
newtype Env s = Env { dataspace :: HashTable s Int Data
                    , namespace :: Map Name Int }

-- |Main computation monad
newtype Comp a = Comp (forall s. ReaderT (Env s) (ST s) a)


-- |Evaluate computation
runComp (Comp c) = runST $ do
    ds <- HT.new
    runReaderT c (Env ds empty)


-- |Perform an action on `dataspace` hashmap
onDataspace :: (forall s. HashTable s Int Data -> ST s a) -> Comp a
onDataspace f = Comp $ asks dataspace >>= lift . f

总的来说它很酷——我可以dataspace自由地访问或修改。但是，当我添加不可变时，namespace我开始挣扎。我需要的功能是以不会影响进一步计算的命名空间的方式运行Comp更新的操作namespace——正是这样local做的。

首先，我想为 编写MonadReader实例Comp，但是我遇到了ST的幻像类型并得到了illegal instance错误：

instance MonadReader (Env s) Comp where {}
instance MonadReader (forall s. Env s) Comp where {}
instance forall s. MonadReader (Env s) Comp where {}

完整的错误信息：

Illegal instance declaration for
     ‘MonadReader (EvalEnv s) Evaluator’
     The coverage condition fails in class ‘MonadReader’
       for functional dependency: ‘m -> r’
     Reason: lhs type ‘Evaluator’
       does not determine rhs type ‘EvalEnv s’
     Un-determined variable: s

我理解这个错误，但我认为没有办法绕过它。老实说，我并不需要完整local的功能。我只需要能够以Comp不同namespace但相同的方式运行dataspace。

最好的解决方案是提供完整的MonadReader实例。我知道这可能是不可能的，所以作为一种解决方法，我想要一个函数

withNs :: Map Name Int -> Comp a -> Comp a

总结：我希望能够在Comp修改后运行，namespace同时保持dataspace不变作为参考，保留所有更改。

怎么做？如果需要，我可以接受修改我的初始设置。

4

1 回答 1

2

的范围参数s应ST保持在外部：

newtype Comp s a = Comp (ReaderT (Env s) (ST s) a)

唯一需要更高级别类型的地方是调用runST.

runComp :: (forall s. Comp s a) -> a
runComp = runST $ do
  ds <- HT.new
  runReaderT c (Env ds empty)

在其他任何地方，您都可以简单地在s.

doStuff :: Comp s Bool
doMoreStuff :: Comp s Int

那么MonadReader实例可以写成：

instance MonadReader (Env s) (Comp s) where
  ...
于 2019-01-26T12:49:08.887 回答