Fair reactive programming?

[Marko Schütz-Schmuck]

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?

[Hongwei Xi]

>>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> 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.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at 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.

[Raoul Duke]

http://lambda-the-ultimate.org/node/4900#comment-78969
thought i'd seen that paper mentioned somewhere before...

[Raoul Duke]

ah hah!

http://semantic-domain.blogspot.com/2014/11/integrating-linear-and-dependent-types.html

:-)

[Marko Schütz-Schmuck]

Yes

[gmhwxi]

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