[Haskell] Fwd: Mutually dependent functions

David House 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 [1] will make
for interesting reading for anyone following along with this discussion.

[1]: http://en.wikibooks.org/wiki/Haskell/Denotational_semantics

-David House, dmhouse at gmail.com

More information about the Haskell mailing list