Editing Cloud Haskell (section)

== Semantics ==

[https://github.com/haskell-distributed/distributed-process/blob/master/doc/semantics/CloudHaskellSemantics.pdf Cloud Haskell Semantics] (PDF) is an draft document that gives a more precise semantics to messaging in Cloud Haskell. The semantics is based on the [http://dl.acm.org/citation.cfm?id=1863514 Unified Semantics for Future Erlang] paper, but extends it with a notion of "reconnecting" (this is described in detail in the introduction of the document).

The document also describes some open issues, in particular in relation to ordering of link and monitor notifications relative to regular messages (and messages sent on typed channels). Note however that Cloud Haskell backends that use the TCP network (that is, all backends currently available) do ''not'' suffer from the problems described in that section (essentially because the TCP transport maintains a single TCP connection between Cloud Haskell nodes and orders ''all'' messages sent on that one connection). However, be aware that if you take advantage of this in your code that your code may not work with Cloud Haskell backends that use more esoteric network transports.