[Haskell-cafe] Re: Laws and partial values
conal at conal.net
Sat Jan 24 18:44:28 EST 2009
Incorrect *if* the semantics distinguishes between () and _|_ (as apparently
is the choice in Haskell).
On Sat, Jan 24, 2009 at 2:40 PM, Jake McArthur <jake at pikewerks.com> wrote:
> 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.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe