如何绕过箭头上的一阶约束？

Question

我所说的一阶约束是什么意思

首先，我将解释箭头上的一阶约束的含义：由于箭头的方式不美观，您不能使用本地绑定的名称，在箭头操作符号中需要箭头命令。

下面是一个例子来说明：

程序x-

我的问题

Yampa用以下类型定义了函数：

accumHoldNoiseR :: (RandomGen g, Random a) => (a,a) -> g -> SF (Event (a -> a)) a
accumHoldNoiseR r g = proc f -> do
  n <- noiseR r g -< ()
  accumHold n -< f

上面的定义不起作用，因为脱胶后n不在范围内。

或者，类似于此函数，其中到SF的配对的第一部分是传递给accumHold

accumHold' :: SF (a,Event (a -> a)) -> a
accumHold' = ...

有没有我错过的组合或技巧？或者，如果没有ArrowApply实例，就无法编写这些定义？

tl； dr：有没有可能定义累积的HoldNoiseR:: （随机生成g，随机a）=

注意：SF没有ArrowApply的实例。我的理解是，定义一个也没有意义。有关详细信息，请参阅“使用箭头编程”。




Answer 1

为了帮助其他人理解我是如何解决这个问题的，我将回答自己的问题。

我试图实现乒乓球游戏。我希望球每回合以随机速度开始。我想使用累积保持来定义球的速度。我有一些这样的代码：

ballPos = proc e -> mdo -- note the recursive do
  {- some clipping calculations using (x,y) -}
  ...
  vx <- accumHold 100 -< e `tag` collisionResponse paddleCollision
  vy <- accumHold 100 -< e `tag` collisionResponse ceilingFloorCollision
  (x,y) <- integral -< (vx,vy)
  returnA -< (x,y)

我想用随机值代替100（大概是来自noiseR）。

我解决这个问题的方法是在方向上累加，collisionResponse只需翻转标志（最终我想使用相对于墙壁/桨叶的速度角）：

ballPos = proc (initV, e) -> mdo
  {- some clipping calculations using (x,y) -}
  ...
  (iVx,iVy) <- hold (0,0) -< initV
  vx <- accumHold 1 -< e `tag` collisionResponse paddleCollision
  vy <- accumHold 1 -< e `tag` collisionResponse ceilingFloorCollision
  (x,y) <- integral -< (iVx*vx,iVy*vy)
  returnA -< (x,y)

经验教训：

您通常可以将想要累积的值/状态分离为一个描述其变化方式的行为和一个描述其当前值的“量值”，并将该行为作为输入。在我的例子中，我分离出初始速度的大小，将其作为输入传递给信号函数，并使用accumHold计算碰撞对球的影响（行为）。所以不管初始速度是多少，撞击墙壁都会“反射”球。这正是accumHold所积累的。

Answer 2

noiseR是一个信号函数；它产生一个随机数流，而不仅仅是一个随机数（为此，您只需使用System.随机）。

另一方面，accumHold的第一个参数只是一个初始值。

因此，这不仅仅是一些限制——它实际上防止您犯类型错误。

如果我正确理解你想做什么，那么简单地使用随机R应该可以做到。否则，请澄清为什么需要noiseR。

Answer 3

这是一个理论上的答案。看看Roman Cheplyaka对这个问题的回答，它更多地涉及到你想要实现的实际细节。

n超出范围的原因是，要在那里使用它，您将拥有与bind或

因此，可以在创建ArrowApply实例时，将n作为函数参数提供给后续箭头。

Chris Kuklewicz在他的评论中正确地指出，-

除非您使用箭头Apply，否则不会。这就是ArrowApply的用途。