[Haskell-cafe] evaluation semantics of bind

Lennart Augustsson 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.

  -- Lennart

2009/2/10 Gregg Reynolds <dev at mobileink.com>:
> Is the result of evaluation a thunk/suspension/closer?

More information about the Haskell-Cafe mailing list