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

Jake McArthur jake.mcarthur at gmail.com
Mon Apr 20 09:42:17 EDT 2009


> 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


More information about the Haskell-Cafe mailing list