[Haskell-cafe] Re: Laws and partial values

[Thomas Davie]

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 -  
>>> per
>>> definitionem.
>>
>> I wonder if this argument is circular.
>>
>> I'm not aware of "defined" and "not defined" as more than informal  
>> terms.
>
> 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?

Bob