Thu Jul 17 16:20:18 CEST 2008

The Expression Lemma


Is this right in the middle of point-free code, where imperative and
functional meet? I.e. the application of the composition (f g h) to
the state x in

    x @ (f g h)

can also be seen as the interpretation of the sequence of messages f g
h by the object x:

    [x f]
    [x g]
    [x h]