# Fair reactive programming?

**URL:** <https://discourse.ats-lang.org/t/fair-reactive-programming/607>\
**Category:** Google Group\
**Created:** [December 8, 2014, 3:54pm UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607 "2014-12-08T15:54:11Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![Marko\_Schutz-Schmuck](https://avatars.discourse-cdn.com/v4/letter/m/f0a364/32.png) [@Marko\_Schutz-Schmuck](https://discourse.ats-lang.org/u/Marko_Schutz-Schmuck)\
**Post date:** [December 8, 2014, 3:54pm UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/1 "2014-12-08T15:54:11Z")

</div>

I came across the paper “Fair Reactive Programming” by Andrew Cave,  
Francisco Ferreira, Prakash Panangaden, and Brigitte Pientka.

Would it be possible/make sense to integrate these ideas into ATS?

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 9, 2014, 2:10am UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/2 "2014-12-09T02:10:41Z")

</div>

I did a quick read of the paper.

I think you can introduce some abstract types and functions to encode  
inside ATS what is done in the paper. I am fairly familiar with Nagano’s  
work  
on guarded fixed-points. My hunch is that you can bring that piece in as  
well.  
So you could end up with the encoding of a system in ATS that is richer than  
the one presented in the paper.

Of course, this is all off the top of my head.On Monday, December 8, 2014 7:57:53 PM UTC-5, Marko Schütz-Schmuck wrote:

> Yes

---

<div class="post-metadata">

**Author:** ![Marko\_Schutz-Schmuck](https://avatars.discourse-cdn.com/v4/letter/m/f0a364/32.png) [@Marko\_Schutz-Schmuck](https://discourse.ats-lang.org/u/Marko_Schutz-Schmuck)\
**Post date:** [December 9, 2014, 12:57am UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/3 "2014-12-09T00:57:52Z")

</div>

Yes

---

<div class="post-metadata">

**Author:** ![Raoul\_Duke](https://avatars.discourse-cdn.com/v4/letter/r/bbe5ce/32.png) [@Raoul\_Duke](https://discourse.ats-lang.org/u/Raoul_Duke)\
**Post date:** [December 8, 2014, 10:42pm UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/4 "2014-12-08T22:42:52Z")

</div>

[http://lambda-the-ultimate.org/node/4900#comment-78969](http://lambda-the-ultimate.org/node/4900#comment-78969)  
thought i’d seen that paper mentioned somewhere before…

---

<div class="post-metadata">

**Author:** ![Raoul\_Duke](https://avatars.discourse-cdn.com/v4/letter/r/bbe5ce/32.png) [@Raoul\_Duke](https://discourse.ats-lang.org/u/Raoul_Duke)\
**Post date:** [December 8, 2014, 10:45pm UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/5 "2014-12-08T22:45:16Z")

</div>

ah hah!

> **[Integrating Linear and Dependent Types at POPL 2015](https://semantic-domain.blogspot.com/2014/11/integrating-linear-and-dependent-types.html)**
>
> I'm very happy to announce that Integrating Linear and Dependent Types will appear at POPL 2015 ! The link above goes to the final version,...

🙂

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 8, 2014, 9:48pm UTC](https://discourse.ats-lang.org/t/fair-reactive-programming/607/6 "2014-12-08T21:48:37Z")

</div>

> > Would it be possible/make sense to integrate these ideas into ATS?

In what way? Do you mean to extend the type system of ATS to support  
the type system presented in the paper?On Mon, Dec 8, 2014 at 10:54 AM, Marko Schütz-Schmuck \< [markos...@googlemail.com](mailto:markos...@googlemail.com)\> wrote:

> I came across the paper “Fair Reactive Programming” by Andrew Cave,  
> Francisco Ferreira, Prakash Panangaden, and Brigitte Pientka.
> 
> Would it be possible/make sense to integrate these ideas into ATS?
> 
> –  
> You received this message because you are subscribed to the Google Groups  
> “ats-lang-users” group.  
> To unsubscribe from this group and stop receiving emails from it, send an  
> email to [ats-lang-user...@googlegroups.com](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> To view this discussion on the web visit  
> [https://groups.google.com/d/msgid/ats-lang-users/6a08f08c-c750-45d8-975b-e2939f661570%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/6a08f08c-c750-45d8-975b-e2939f661570%40googlegroups.com)  
> [https://groups.google.com/d/msgid/ats-lang-users/6a08f08c-c750-45d8-975b-e2939f661570%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/6a08f08c-c750-45d8-975b-e2939f661570%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .