[Haskell-cafe] Re: Sending bottom to his room
cristian.baboi at gmail.com
Sat Dec 29 06:20:42 EST 2007
Sorry, I think a and b are from the value domain.
On Sat, 29 Dec 2007 13:14:09 +0200, Cristian Baboi
<cristian.baboi at gmail.com> wrote:
> In The Implementation of Functional Programming Languages by S.P. Jones,
> section 2.5.3, page 32 it is written:
> Eval [[*]] a b = a x b
> Eval [[*]] _|_ b = _|_
> Eval [[*]] a _|_ = _|_
> but in section 2.5.2 it is said that _|_ is an element of the value
> What business does it have on the left side of the '=' ?
> Can you help me send him to his room ?
More information about the Haskell-Cafe