Session types in programming languages (2016)

For those who want to learn more, I wrote an extended, accessible introduction to session types (predicated on a little knowledge about PL metalanguage syntax, e.g. BNF grammar) here: <a href="http:&#x2F;&#x2F;cs242.stanford.edu&#x2F;lectures&#x2F;07-2-session-types.html" rel="nofollow">http:&#x2F;&#x2F;cs242.stanford.edu&#x2F;lectures&#x2F;07-2-session-types.html</a><p>It also includes a walkthrough of a session types implementation in Rust.

Latest version of this post [2017] is found at <a href="http:&#x2F;&#x2F;groups.inf.ed.ac.uk&#x2F;abcd&#x2F;session-implementations.html" rel="nofollow">http:&#x2F;&#x2F;groups.inf.ed.ac.uk&#x2F;abcd&#x2F;session-implementations.html</a>

Didn&#x27;t write this but thought it was interesting as it seems to address pain points I&#x27;ve felt when building out a typed actor system (requirements for adapters, etc)

Since then Pony came along: Primitive, Static<p>No external Scribble-like protocol needed, builtin into the compiler. Actor-based.