[Haskell-cafe] Re: Laws and partial values

[Conal Elliott]

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
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090124/74e926e4/attachment.htm