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 <nine...@gmail.com>: > 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 -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe