[Haskell-cafe] "Rewrite thunk action" rule?

Dan Weston westondan at imageworks.com
Mon Dec 22 15:08:21 EST 2008

Peter Todd wrote:
> Not quite. If I have a thunk, at the low level somewhere it must refer
> to the transform function, the transform matrix, and the element that is
> to be transformed. If I apply another transform to that unevaluated
> thunk, my understanding is that haskell will represent it as such:
> thunk transform Ta (thunk transform Tb e)
> When I want the following:
> thunk transform (Ta * Tb) e

Is this an example of a Thunktor?

More information about the Haskell-Cafe mailing list