[Haskell-cafe] evaluation semantics of bind
lennart at augustsson.net
Tue Feb 10 08:57:22 EST 2009
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.
2009/2/10 Gregg Reynolds <dev at mobileink.com>:
> Is the result of evaluation a thunk/suspension/closer?
More information about the Haskell-Cafe