Imperative Notation

[Antonio Eduardo Costa Pereira]

Pascal Serrarens wrote:
> 

> Actually, I/O forms a substantial part of my research at the moment. Right
> now I am working on TCP communication, File I/O and message passing in general.
> Next to this I developed a concurrent version of the Object I/O library.

Dear Pascal.
I cannot but concur with you when you argue that 


> My statement is this:
> 
> "A haskell-like do notation will simplify I/O programs with the cost that
> reasoning about you programs is harder and programs will contain more error which
> are more difficult to find."
> 
> I really would like to have a better solution as long as safety and flexibility
> are preserved.
> 
> Pascal.