Effective ATS: Session-typed Channels

Google Group
1

I wrote a brief introduction to session types:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/ssntyped-channels-1/index.html

I think that one can already sense the potential of session types after
reading this article.

There will be a lot more coming later. For the moment, programming with
session combinators
is definitely something on my mind.

2

May have been already asked, but I could not find it on ats-land-users: can
continuation be statically allocated? I’m aware the document targets
JavaScript, but this broader question came in my mind while reading it.Le mercredi 25 novembre 2015 02:28:44 UTC+1, gmhwxi a écrit :

I wrote a brief introduction to session types:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/ssntyped-channels-1/index.html

I think that one can already sense the potential of session types after
reading this article.

There will be a lot more coming later. For the moment, programming with
session combinators
is definitely something on my mind.

3

We are very interested in using session types in embedded programming.
So this is a question on our mind, too.

The continuation is just a representation of some kind of (linear) state.
It should
be possible to statically allocate some memory for storing the state.On Wednesday, November 25, 2015 at 9:19:30 PM UTC-5, Yannick Duchêne wrote:

May have been already asked, but I could not find it on ats-land-users:
can continuation be statically allocated? I’m aware the document targets
JavaScript, but this broader question came in my mind while reading it.

Le mercredi 25 novembre 2015 02:28:44 UTC+1, gmhwxi a écrit :

I wrote a brief introduction to session types:

http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/ssntyped-channels-1/index.html

I think that one can already sense the potential of session types after
reading this article.

There will be a lot more coming later. For the moment, programming with
session combinators
is definitely something on my mind.