From: Wolfgang Jeltsch <[EMAIL PROTECTED]> It is always the *least* fixpoint. For example, (0 *) has the fixpoint _|_ (because 0 * _|_ = _|_) but every integer is also a fixpoint of it. However, _|_ is less than all those integers in the sense of âless definedâ, and so the result of fix (0 *) is _|_.
True, that's worth mentioning. By the way, the Haskell Wikibook chapter on Denotational Semantics [1] will make for interesting reading for anyone following along with this discussion. [1]: http://en.wikibooks.org/wiki/Haskell/Denotational_semantics -David House, [EMAIL PROTECTED] _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
