Effective ATS: Session-typed Channels

[gmhwxi]

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.

[Yannick Duchêne]

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.

[gmhwxi]

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.