[formal-methods] Haskell Session Types with (Almost) No Class

[Jason Dusek]

  I'm reading the paper linked to from here:

    http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/

  Session types are an extension of homogenuous, typed channels,
  where you can specify a channel like this:

    (send (an int) and then) (receive (a string) and then) close

  The "dual" to this channel is:

    (receive (an int) and then) (send (a string) and then) close

  The compiler is able to determine that two components with
  these session types have compatible interfaces.

--
Jason Dusek