On Sun, Apr 1, 2012 at 7:03 PM, Ertugrul Söylemez <e...@ertes.de> wrote: > No, Netwire does things very differently. Note the total absence of > switching combinators. Where in traditional FRP and regular AFRP you > have events and switching in Netwire you have signal inhibition and > selection. AFRP is really just changes the theory to establish some > invariants. Netwire changes the whole paradigm. Review alterTime as > expressed in the Netwire framework: > > alterTime = fullTime <|> halfTime > > This isn't switching. It's selection. If fullTime decides to be > productive, then alterTime acts like fullTime. Otherwise it acts like > halfTime. If both inhibit, then alterTime inhibits. This allows for a > much more algebraic description of reactive systems.
AFRP can do this through ArrowChoice. Maybe you can explain the concept of "inhibition" in more detail? I fail to grasp why this is making switches obsolete. The idea of switch is to completely abandoning the old state. See the broken pendulum example. -- Regards, Paul Liu _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
