[Haskell-cafe] Is this a correct explanation of FRP?
eca7215 at cs.rit.edu
Wed Apr 4 20:47:02 CEST 2012
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 <ninegua at gmail.com>:
> On Sun, Apr 1, 2012 at 7:03 PM, Ertugrul Söylemez <es at 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.
> Paul Liu
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Rochester Institute of Technology
More information about the Haskell-Cafe