Hello haskell-cafe, 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 and channel-passing. It can be obtained from the website. A few examples are also provided. http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html Any comments are much appreciated. Cheers, - Keigo IMAI _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
