What I would like to know is how the 'fix' function could be used
to find the fixed point of a function like ( \n - 2*n ).
Olaf and Lennart said a little about least fixpoints, but little about
what makes a fixpoint least. Olaf suggested looking up papers on domain
theory or denotational
At 10:41 1/04/2002 -0500, Paul Hudak wrote:
It's really not as obscure as it first seems. A fixpoint of a function
foo is a value x such that foo x = x. The fix operator tells us one way
(not the only way) to generate such a fixpoint:
fix foo = foo (fix foo)
Note from this equation that