10 Feb
2009
10 Feb
'09
9:57 p.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 <dev@mobileink.com>:
Is the result of evaluation a thunk/suspension/closer?