[Haskell-cafe] Re: Laws and partial values

Jake McArthur jake at pikewerks.com
Sat Jan 24 17:40:34 EST 2009

Thomas Davie wrote:
> the only change is that computations resulting in the
> unit type *can't* non terminate, because we can always optimize them 
> down to ().

No. "Optimizing them down to ()" changes the semantics of the 
computation. This is incorrect behavior.

More information about the Haskell-Cafe mailing list