[Haskell-cafe] Re: Laws and partial values
daniel.is.fischer at web.de
Sun Jan 25 04:08:34 EST 2009
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.
> Which definition(s) are you referring to?
> - Conal
More information about the Haskell-Cafe