[Haskell-cafe] Re: Laws and partial values

Thomas Davie 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 -  
>>> 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?


More information about the Haskell-Cafe mailing list