Re: [Haskell-cafe] Is this a correct explanation of FRP?

Ertugrul, Do you have a conceptual writeup of Netwire anywhere? The only documentation I've found are the API docs. I ask both out of curiousity, and because I'm writing up background for a masters thesis on FRP and I'd like to say something about Netwire. 2012/4/4 Paul Liu :

On Sun, Apr 1, 2012 at 7:03 PM, Ertugrul Söylemez 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

-- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com