Changes between Version 4 and Version 5 of Commentary/Rts/HaskellExecution


Ignore:
Timestamp:
Sep 12, 2006 3:38:13 PM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/HaskellExecution

    v4 v5  
    33= The Haskell Execution Model = 
    44 
    5 The [wiki:Commentary/Compiler/StgSynType STG language] has a clear ''operational'' model, as well as having a declarative lambda-calculus reading.  The business of the code generator is to translate the STG program into `C--`, and thence to machine code, but that is mere detail. From the STG program you should be able to understand: 
     5The [wiki:Commentary/Compiler/StgSynType STG language] has a clear ''operational'' model, as well as having a declarative lambda-calculus reading.  The business of the [wiki:Commentary/Compiler/CodeGen code generator] is to translate the STG program into `C--`, and thence to machine code, but that is mere detail. From the STG program you should be able to understand: 
    66  * What functions are in the compiled program, and what their entry and return conventions are 
    77  * What heap objects are allocated, when, and what their layout is