[Haskell-cafe] "Rewrite thunk action" rule?
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