[Haskell-cafe] Monad, more than one of them ?

[Bulat Ziganshin]

Hello gary,

Sunday, September 11, 2005, 8:22:50 AM, you wrote:

gn> in the paper, it is quite comment that one would need
gn> exception handling, state management and output all at
gn> the same time.

gn> How would one do it in a monadic way ? As my
gn> understanding of Monad is that it is something like a
gn> "wrapper/container" where the side-effect is kept. One
gn> way of doing it is of course expand it to include all
gn> three side effects. But this is unmanageable and it is

this all done in IO monad, which is just way to order statements
sequentially. all other monads give your ability to return pure
results, while IO is unescapable (not counting unsafe tricks) and
corresponds to events in real world

below is my directory of docs for "Imperative programming in GHC". i little
reordered it so more interesting docs come first:

Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell  [http://research.microsoft.com/Users/simonpj/papers/marktoberdorf/marktoberdorf.ps.gz]
Writing High-Performance Server Applications in Haskell, Case Study: A Haskell Web Server,  [http://www.haskell.org/~simonmar/papers/web-server.ps.gz]
[http://research.microsoft.com/~simonpj/papers/stm/stm.pdf]
[http://www.haskell.org/ghc/docs/papers/except_ps.gz]
Asynchronous Exceptions in Haskell [http://www.haskell.org/~simonmar/papers/async.ps.gz]
Imperative Functional Programming [http://www.haskell.org/ghc/docs/papers/imperative.ps.gz]
[http://www.haskell.org/ghc/docs/papers/concurrent-haskell.ps.gz]
[http://research.microsoft.com/Users/simonpj/Papers/unboxed-values.ps.Z]
[http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi.pdf]
The Concurrent Haskell Foreign Function Interface [http://www.haskell.org/ghc/docs/papers/threads.ps.gz]
[http://www.haskell.org/~simonmar/papers/conc-ffi.pdf]


there is a several imperative programs also, of which i recommend to
see web server itself (of course) - i don't know url, but it mentioned
in secod paper,
Postmaster (http://postmaster.cryp.to/postmaster-2005-02-14.tar.gz),
my own FreeArc (http://freearc.narod.ru),
Yi editor (ftp://ftp.cse.unsw.edu.au/pub/users/dons/yi/yi-0.1.0.tar.gz)

-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com