如何让 Yampa 随机度过一段时光

Question

我正在尝试使用 Yampa 编写一个简单的 FRP 示例，而不是等待 2 秒（例如： https : //wiki.haskell.org/Yampa/reactimate ）将在某些范围内等待随机时间。 我尝试了多种不同的方法来以某种方式将 randomRIO 函数引入信号函数，但无法真正掌握我应该做什么。 我的目的是像这样替换 twoSecondsPassed 函数：

randomTimePassed :: SF () Bool
randomTimePassed = time >>> arr (\x -> x < randomRIO (0, 10))

但由于类型不匹配，这似乎不起作用。 编译器输出：

* Couldn't match type `m0 a0' with `Double'
  Expected: SF Time Bool
    Actual: SF (m0 a0) Bool
* In the second argument of `(>>>)', namely
    `arr (\ x -> x < randomRIO (0, 10))'
  In the expression: time >>> arr (\ x -> x < randomRIO (0, 10))
  In an equation for `randomTimePassed':
      randomTimePassed = time >>> arr (\ x -> x < randomRIO (0, 10))

任何指向正确方向的指针都将不胜感激，因为我对 Yampa 很陌生，似乎找不到合适的文档来帮助我。

Answer 1

randomRIO (0,10)的类型是（在您使用它时专门化） IO Double ，但您要替换的2类型只是Double 。 此外，您不能在 yampa SF执行IO操作。

您需要做的是在SF之外生成您的号码（或者可能为您的号码生成一个生成器）并将其作为参数传递。 例如，您可以编写：

someTimePassed :: Double -> SF () Bool
someTimePassed t = time >>> arr (\x -> x < t)

main = do
  t <- getCurrentTime
  timeRef <- newIORef t
  randTime <- randomRIO (0, 10)
  reactimate initialize (sense timeRef) actuate (someSecondsPassed randTime)

---

如果您需要多个随机数，则需要传递一个随机数生成器。 您可以使用例如getStdGen生成一个。 此外，与其编写自己的SF来使用它，还可以将它传递给类似occasionally东西，它每隔一段时间就会产生事件。