[Haskell] Fwd: Mutually dependent functions
dmhouse at gmail.com
Tue Jun 12 12:55:46 EDT 2007
From: Wolfgang Jeltsch <g9ks157k at acme.softbase.org>
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  will make
for interesting reading for anyone following along with this discussion.
-David House, dmhouse at gmail.com
More information about the Haskell