Changes between Version 24 and Version 25 of MessagePassing


Ignore:
Timestamp:
09/14/13 08:39:41 (13 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MessagePassing

    v24 v25  
    22
    33== Primitives ==
     4
     5Note: what `$pure` means:
     6* the function is a system function
     7* it is side-effect-free
     8* its guard is "true" (i.e., it can never block)
     9Calls to a pure functions are exactly like expressions.  They will not be removed by side-effect-removal.  They can be used as guards in `$when` statements, or any other place an expression is called for.  Hence they basically give you a way to add new expressions to the language (without fiddling with the grammar).
    410
    511CIVL-C will provide some abstract datatypes for message queues and so on: