[Haskell-cafe] Re: Stack, Heap and GHC

[Joachim Durchholz]

Felix Breuer schrieb:
> 1) What precisely is a thunk?

That depends on the abstraction level.

At the evaluation level, it is an expression that has at least one 
unevaluated subexpression.

At the implementation level, it could be a direct representation of an 
expression graph (partly evaluated).
Or it could be a record containing a function pointer and a possibly 
empty series of parameter values, some of which may be thunks again.

Regards,
Jo