15 Dec
2006
15 Dec
'06
3:24 p.m.
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