[Haskell-cafe] Re: Laws and partial values
tom.davie at gmail.com
Sun Jan 25 04:46:16 EST 2009
On 25 Jan 2009, at 10:08, Daniel Fischer wrote:
> Am Sonntag, 25. Januar 2009 00:55 schrieb Conal Elliott:
>>> It's obvious because () is a defined value, while bottom is not -
>> I wonder if this argument is circular.
>> I'm not aware of "defined" and "not defined" as more than informal
> They are informal. I could've written one is a terminating
> computation while
> the other is not.
Is that a problem when trying to find the least defined element of a
set of terminating computations?
More information about the Haskell-Cafe