On Wed, Sep 26, 2007 at 05:23:58PM -0700, Dan Weston wrote: > It is this latter function which I suggested to be renamed limit, since > it returns the limit (converged value) of f^n x, where n -> inf, and > doesn't even have the same type or arity as the standard fix function. > > Somehow this (admittedly minor) point got lost in the heat of battle.
It did? I thought the response was that they /both/ calculated fixed points. This "limit" seems to look for an attractive fixed point[1] in a fairly straightforward (and possibly naive) way. As a matter of fact, its only differences from the standard fix definition seem to be: 1) A parameterized initial state 2) A terminating condition (and the necessary type context) Am I crazy? Devin [1] http://en.wikipedia.org/wiki/Fixpoint#Attractive_fixed_points _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe