[Haskell-cafe] ANNOUNCE: Sessions 2008.5.2
matthew at wellquite.org
Tue May 6 08:04:28 EDT 2008
I'm pleased to announce the general availability of Session Types for
Haskell, version 2008.5.2. It is available from my website,
Hackage and I've just updated the online tutorial to take into
account the recent changes and new features.
Session types are a means of describing communication between multiple
threads, and statically verifying that the communication being performed
is safe and conforms to the specification. The library supports
multiple, concurrent channels being open and actions upon those channels
being interleaved; forking new threads; the communication of process
IDs, allowing threads to establish new channels between each other;
higher-order channels, allowing an established channel to be sent over a
channel to another process; and many other features common to session
The significant new changes in this version are:
a) an entirely new means to specify session types. This removes the old
absolute indexing, is composeable and far more flexible and powerful
than the old system.
b) support for higher-order channels and session types allowing channels
to be sent and received. This permits additional communication patterns
such as two threads which are otherwise unaware of each other being able
to communicate with one another by sending and receiving a channel via
a common third party - delegation.
Tests and an example application are available which should, in
combination with the tutorial, explain how session types can be used.
As ever, any feedback is very gratefully received.
More information about the Haskell-Cafe