Good point. There is already a VectorSpace instance for behaviors, and using it in the positionB definition makes for a much more general type. See FRP.Reactive.VectorSpace.<br><br>I wouldn't use v ^* t (or t *^ v), however, because v is dynamic. Integrating v ought to do the trick.<br>
<br>And I expect that any simple & direct formulation will run into the current implementation bug with recursive behaviors, since the position depends on the velocity, the velocity depends on acceleration and accumulated impulse, and the accumulated impulse depends on position.<br>
<br> - Conal<br><br><div class="gmail_quote">On Fri, Nov 21, 2008 at 11:33 AM, Peter Verswyvelen <span dir="ltr"><<a href="mailto:bugfact@gmail.com">bugfact@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Shouldn't Reactive also have VectorSpace instances for Behaviors of VectorSpace elements? So that the code becomes<div><div><div class="Ih2E3d"><br><div>> positionB x0 v t = pure x0 ^+^ v ^* t</div><div><br></div>
</div><div>Maybe it already has, in that case, sorry for the spam ;)<br>
</div><div><div></div><div class="Wj3C7c"><div><br></div><div><div class="gmail_quote">On Fri, Nov 21, 2008 at 7:00 PM, Greg Fitzgerald <span dir="ltr"><<a href="mailto:garious@gmail.com" target="_blank">garious@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div>>>> positionB :: Double -> Behavior Double -> Behavior Double -> Behavior Double<br>
>>> positionB x0 v t = (x0 +) <$> liftA2 (*) v t<br>
</div><div>> positionB x0 v t = pure x0 + v * t<br>
<br>
</div>That's very convenient. I'm showing this stuff off to visual<br>
designers, so tricks like this have great Sales appeal. :)<br>
<br>
If others are trying this out, the Num instance is implemented in<br>
FRP.Reactive.Num.<br>
<font color="#888888"><br>
-Greg<br>
</font><div><div></div><div><br>
<br>
On Fri, Nov 21, 2008 at 6:48 AM, Conal Elliott <<a href="mailto:conal@conal.net" target="_blank">conal@conal.net</a>> wrote:<br>
> For that matter, you can also say, thanks to Num overloading:<br>
><br>
> positionB :: Double -> Behavior Double -> Behavior Double -> Behavior Double<br>
> positionB x0 v t = pure x0 + v * t<br>
><br>
> Sadly, similar convenience does not come for free with non-methods, such as<br>
> most of the FieldTrip API. For non-methods, in the past (with Fran), I've<br>
> written parallel sets of modules with behavior-lifted functionality. It's<br>
> tedious to set up but convenient to use. Perhaps a tool could automate the<br>
> job.<br>
><br>
> By the way, a nice feature of Yampa is that it avoids this lifting business<br>
> altogether, via desugaring for the arrow notation.<br>
><br>
> - Conal<br>
><br>
> On Fri, Nov 21, 2008 at 12:14 AM, Thomas Davie <<a href="mailto:tom.davie@gmail.com" target="_blank">tom.davie@gmail.com</a>> wrote:<br>
>>><br>
>>> positionB :: Double -> Behavior Double -> Behavior Double -> Behavior<br>
>>> Double<br>
>>> positionB x0 v t = (x0 +) <$> liftA2 (*) v t<br>
>><br>
>> On an unrelated note, I created a package called InfixApplicative, because<br>
>> I found that exactly this kind of expression looked ugly in my code. If you<br>
>> import it, you can define this instead:<br>
>><br>
>> positionB x0 v t = (x0 +) <$> (v <^(*)^> t)<br>
>><br>
>> Hope that helps<br>
>><br>
>> Bob<br>
>> _______________________________________________<br>
>> Reactive mailing list<br>
>> <a href="mailto:Reactive@haskell.org" target="_blank">Reactive@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/reactive" target="_blank">http://www.haskell.org/mailman/listinfo/reactive</a><br>
><br>
><br>
_______________________________________________<br>
Reactive mailing list<br>
<a href="mailto:Reactive@haskell.org" target="_blank">Reactive@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/reactive" target="_blank">http://www.haskell.org/mailman/listinfo/reactive</a><br>
</div></div></blockquote></div><br></div></div></div></div></div>
</blockquote></div><br>