10 Feb
2009
10 Feb
'09
8:57 a.m.
The result of an evaluation is always in WHNF (weak head normal form).
So if it's a function, it's been evaluated to \ x -> ..., but no
evaluation under lambda.
Similarely, if it's a data type it has been evaluated so the outermost
form is a constructor, but no evaluation inside the constructor.
The terms thunk/suspension/closure usually refer to implementation
rather than semantics.
But in terms of an implementation, the answer is no. After evaluation
you will have none of those as the outmost thing.
-- Lennart
2009/2/10 Gregg Reynolds
Is the result of evaluation a thunk/suspension/closer?