[<<][staapl][>>][..]Thu Jul 17 16:20:18 CEST 2008

http://blogs.msdn.com/ralflammel/archive/2008/07/16/the-expression-lemma-explained.aspx 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]

[Reply][About]

[<<][staapl][>>][..]