Question

我目前正在学习反应性香蕉的FRP，并希望创建一个随机函数流。我想出了这个：

-- | take number generator, and some pulse event stream, generate random function stream
mkRandom :: (Random a,RandomGen g) => g -> Event t b -> Event t ((a,a) -> a)
mkRandom rng es = (\f -> \r -> fst $ f r) <$> (accumE first $ next <$> es)
  where first = flip randomR rng
        next _ prev range = randomR range g
          where (a,g) = prev range

它似乎有效，我可以这样使用它：

randFuncs = mkRandom rnd (pulse 1000 time)
some = ($ (0,10::Int)) <$> randFuncs

但是，当然，当我尝试共享该流以生成不同类型的数字时：

some2 = ($ (0,10::Double)) <$> randFuncs

类型检查员抱怨，我理解。然后我尝试将该函数概括为以下内容：

mkRandom :: (RandomGen g) => g -> Event t b -> Event t (forall a. Random a => (a,a) -> a)

然后GHC抱怨非法多态签名以及我是否想要启用ImpredicativeTypes。我做了它并且很长一段时间试图注释所有内容以使其工作，但GHC总是抱怨它无法匹配类型。

我的问题是 - 我可以做我想做的事吗？我真的需要ImpredicativeTypes，还是我做错了？

我认为RankNTypes应该足够了，但我还没有这种扩展的经验。

提前致谢！

修改

对于记录，现在我的解决方案基于有用的响应：

newtype RandomSource = Rand { getRand :: forall a. (Random a) => (a,a) -> [a] }

-- | take number generator and some pulse event stream, generate randomness stream
mkRandom :: RandomGen g => g -> Event t a -> Behavior t RandomSource
mkRandom rng es = fst <$> (accumB (next id (id,rng)) $ next <$> es)
  where next _ (_,rng) = (Rand $ flip randomRs g1, g2)
          where (g1,g2) = split rng

-- | take a rand. source, a range and a pulse, return stream of infinite lists of random numbers
randStream :: Random a => Behavior t RandomSource -> (a,a) -> Event t b -> Event t [a]
randStream funcs range pulse = ($ range) . getRand <$> funcs <@ pulse

Answer 1

ImpredicativeTypes是一个令人难以置信的脆弱扩展，并没有真正支持或维护，因此在新的GHC版本中不断进一步突破。

更好的工作选项是将RankNTypes与newtype包装一起使用：

newtype PolyRandFun = PR { getPR :: forall a. Random a => (a,a) -> a) }

这要求你明确地包装和解包newtype构造函数，但是否则可以正常传递像这样的多态函数。

不幸的是，我预见到这种情况会出现另一个问题。不同的Random a实例使用其随机生成器不同的量，并且在例如Integer为构建Integer结果而生成的原始随机数量甚至取决于范围的大小。因此，在不知道实际调用函数时使用的类型和范围时，无法获得下一个g。

幸运的是System.Random API中的一个函数可以解决这个问题：split为您提供了一个新的随机生成器，当您确实需要生成多个随机值时，可以将其传递给子计算完全独立。

创建多态函数的事件流 - 可能吗？如果有，怎么样？

1 个答案: