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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
