我正在努力了解FRP和Netwire。我最好的实践知识来源是this post,但它有点过时,因为它是用Netwire 4编写的,我使用的是5.0版。我希望玩家控制方块,从屏幕边缘反弹。
根据这篇文章,我有这个:
acceleration :: (Monad m, Monoid e) => Wire s e m (Set SDL.Keysym) Double
acceleration = pure (-80) . when (keyDown SDL.SDLK_LEFT)
<|> pure 80 . when (keyDown SDL.SDLK_RIGHT)
<|> pure 0
velocity :: (Monad m, HasTime t s, Monoid e) => Wire s e m (Double, Bool) Double
velocity = integralWith limit 0
where limit collision v = let newV = if collision then -v else v in clampMax maxV newV
challenge2 :: (MonadFix m, HasTime t s) => Wire s () m (Set SDL.Keysym) Double
challenge2 = proc keysDown -> do
a <- acceleration -< keysDown
rec v <- velocity -< (a, colls)
(pos, colls) <- position -< v
returnA -< pos
position :: (Monad m, HasTime t s, Monoid e) => Wire s e m Double (Double, Bool)
position = what to put here?
我想要位置线来整合速度,纠正位置以保持在屏幕的范围内并产生指示发生碰撞的Bool。链接文章使用accumT,在当前版本的Netwire中,(AFAIK)消失了。并且它不是太漂亮 - 当有一根电线时手动集成......我知道,我可以使用integralWith来限制位置,但它不能产生比分数更多的东西。我试过这样:
position = mkSF_ bounds . integral 0
where bounds pos = if trace (show pos) pos > 150 then (149, True) else if pos < 0 then (1, True) else (pos, False)
请原谅我;)。现在我知道整体线中有一个内部状态,我不会这样修改。
那么实现我想要的'正确方法'是什么?
答案 0 :(得分:2)
我正在关注同一篇文章,并尝试将其翻译为Netwire 5.0。这确实是一个棘手的问题。我最终创建了一个新的integralWith'
函数,其设计与integralWith
类似,但它将输入作为单个值并生成两个值。
integralWith' ::
(Fractional a, HasTime t s)
=> (a -> (a, o)) -- Function for potentially limiting the integration
-- and producing a secondary output.
-> a -- Integration constant (aka start value).
-> Wire s e m a (a, o)
integralWith' correct = loop
where
loop x' =
mkPure $ \ds dx ->
let dt = realToFrac (dtime ds)
(x,b) = correct (x' + dt*dx)
in x' `seq` (Right (x', b), loop x)
这几乎是从http://hackage.haskell.org/package/netwire-5.0.0/docs/src/FRP-Netwire-Move.html#integralWith直接复制的,我所做的就是摆弄类型以使其发挥作用。
我的position
功能最终看起来像这样。
position :: (Monad m, HasTime t s) => Wire s e m Double (Double, Bool)
position = integralWith' clamp 0
where
clamp p | p < 0 || p > 150 = (max 1 (min 149 p), True)
| otherwise = (p, False)
由于我自己刚刚进入FRP和Haskell,我不确定netwire库中是否存在这样的东西,或者它是否通常是有用的,或者我是否有更简单的方法尚未见过。
答案 1 :(得分:0)
您可以使用Netwire中的现有integral
执行此操作:
collided :: (Ord a, Num a) => (a, a) -> a -> (a, Bool)
collided (a, b) x
| x < a = (a, True)
| x > b = (b, True)
| otherwise = (x, False)
position :: (Monad m, HasTime t s) => Wire s e m Double (Double, Bool)
position = integral 0 >>> (arr $ collided (0, 150))