Haskell as an Automation Controller

Abstract

this paper we adopt style conventions that emphasize when we are dealingwith effectful computations. Specifically, all expressions of type IO are writtenwith an explicit do--. In the same vein, values of functional type a -? b arewritten as lambda-expressions "a -? b. To reflect the influence of the OO style,we will use postfix function application object#method = method object tomimic the object.method notation. Since methods are first class values, we cancompose them using the (##)...