
On Fri, Sep 21, 2007 at 05:40:59PM -0300, Felipe Almeida Lessa wrote:
On 9/21/07, Peter Verswyvelen
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.... Stefan