[Haskell-cafe] STM reference?

[Bulat Ziganshin]

Hello Chad,

Friday, December 09, 2005, 3:09:29 AM, you wrote:

SC> Can anyone suggest some references to learn how to program using GHC
SC> with threads? I've read a little bit about STM, but it's still pretty
SC> mysterious to me. Is this the best approach to take? I've never used
SC> threads in any language, but monads are fairly comfortable for me.

STM is just additional instrument, you can completely avoid it (as we
had do until 6.4 release). Below is a list of papers related to
imperative programming in Haskell. first contains pragmatic
introduction in this world, including all concurrency stuffs, second
is about an real high-concurrency application designed by GHC team.
other papers is of more theoretical (and more strict) character

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://www.haskell.org/ghc/docs/papers/concurrent-haskell.ps.gz]
[http://www.haskell.org/~simonmar/papers/conc-ffi.pdf]
The Concurrent Haskell Foreign Function Interface [http://www.haskell.org/ghc/docs/papers/threads.ps.gz]
Asynchronous Exceptions in Haskell [http://www.haskell.org/~simonmar/papers/async.ps.gz]
[http://research.microsoft.com/~simonpj/papers/stm/stm.pdf]
[http://www.haskell.org/ghc/docs/papers/except_ps.gz]
Imperative Functional Programming [http://www.haskell.org/ghc/docs/papers/imperative.ps.gz]



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