[Haskell-cafe] [ANN] full-sessions: yet another implementation of
keigo.imai at gmail.com
Wed Jun 24 23:12:55 EDT 2009
I would like to announce the pre-release of full-sessions,
yet another implementation of session types in Haskell.
Session types are used to statically check the safe and
consistent use of communication channels
according to protocols.
Our work is quite similar to the Session monad in Haskell'08
paper of Pucella and Tov, however, a notable advantage of
our implementation is that it requires almost no type
annotation or term annotation in a source code,
and at the same time provides full functionality of
session types including channel-generation
It can be obtained from the website. A few examples
are also provided.
Any comments are much appreciated.
- Keigo IMAI
More information about the Haskell-Cafe