"interact" behaves oddly if used interactively

S.J.Thompson S.J.Thompson at kent.ac.uk
Thu Oct 2 10:10:47 EDT 2003


All this discussion of 'interact' makes me feel quite nostalgic.  In
the late 80s(!) I did some work on this, since Miranda's only IO was in
the form of interact. Understanding the interleaving behaviour is
problematic, and hand-coded solutions proved to be difficult. I came up
with a way of analysing these programs, and proved some elementary
properties. The paper also contains a set of combinators for writing
interactive programs, which prefigure the monadic interaction
combinators. The paper is at:


Best regards,

Simon Thompson

More information about the Haskell mailing list