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

Edward Amsden 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.
> --
> Regards,
> Paul Liu
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

Edward Amsden
Computer Science
Rochester Institute of Technology

More information about the Haskell-Cafe mailing list