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

Joachim Durchholz jo at durchholz.org
Fri Dec 15 15:24:03 EST 2006


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



More information about the Haskell-Cafe mailing list