Session Types with Linearity in Haskell

摘要: Type systems with parametric polymorphism can encode a significant pro- portion of the information contained in session types. This allows concurrent programming session-type-like guarantees languages like ML and Java. However, statically enforcing linearity properties types, way that is also natural to program with, more challenging. Haskell provides various language features capture full invariants mostly idiomatic style. chapter overviews approaches literature for typed Haskell. As starting point, we use polymorphic types simple type-level functions provide session-typed communication without linearity. We then overview compare varying implementing static checks. conclude discussion remaining open problems. The code associated this be found at http://github. com/dorchard/betty-book-haskell-sessions.