[Haskell-cafe] Optimizing unamb by determining the "state" of a thunk?

Peter Verswyvelen bugfact at gmail.com
Mon Apr 20 09:47:02 EDT 2009

Yes indeed.

On Mon, Apr 20, 2009 at 3:42 PM, Jake McArthur <jake.mcarthur at gmail.com>wrote:

> Sure, so hnf would give us a non-determined result, but I don't think that
>> makes unamb any less referentially transparent – the same value is always
>> returned, and always reduced at least to hnf.
> I think it is hnf that Peter was talking about needing to be in IO, not
> unamb.
> - Jake
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090420/b6e370fa/attachment.htm

More information about the Haskell-Cafe mailing list