Session types in programming languages (2016)

by hurricaneSlider on 12/27/2018, 7:15:34 AM with 9 comments

  • by wcrichton on 12/27/2018, 8:49:10 PM

    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: http://cs242.stanford.edu/lectures/07-2-session-types.html

    It also includes a walkthrough of a session types implementation in Rust.

  • by zozbot123 on 12/27/2018, 8:59:12 PM

    Latest version of this post [2017] is found at http://groups.inf.ed.ac.uk/abcd/session-implementations.html

  • by hurricaneSlider on 12/27/2018, 7:43:43 AM

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

  • by rurban on 12/31/2018, 9:39:18 AM

    Since then Pony came along: Primitive, Static

    No external Scribble-like protocol needed, builtin into the compiler. Actor-based.