On Fri, Sep 21, 2007 at 05:40:59PM -0300, Felipe Almeida Lessa wrote: > On 9/21/07, Peter Verswyvelen <[EMAIL PROTECTED]> wrote: > > Since I'm used to write heavily multi-threaded/multi-core code in > > imperative languages, I would like to understand more about the existing > > execution models, and those "black holes"... Understanding the low-level > > details helps a lot for me. > > I think you want to know about the STG, the Spineless Tagless > G-Machine. If I'm correct, that's how GHC works behind the scenes.
STG is a very pretty island, but it's just that - an island. If you want to see the Big Picture, I can only recommend SPJ's 1987 (except for the optimization section, almost everything is still true) book: http://research.microsoft.com/~simonpj/papers/slpj-book-1987/slpj-book-1987.djvu Stefan
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
