On Wed, 2007-09-26 at 17:23 -0700, Dan Weston wrote: > Not to beat a dead horse, but I wasn't suggesting to rename the fix > function that everyone knows and loves: > > fix :: (a -> a) -> a > fix f = let f' = f f' in f' > > I was merely trying to suggest that it would be wise to rename the > function in http://haskell.org/haskellwiki/Reference_card that redefined > fix to mean: > > fix :: Eq x => (x -> x) -> x -> x > fix f x = if x == x' then x else fix f x' > where x' = f x > > 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.
How 'bout just 'fixpoint' or 'fixedpoint' or 'findFixedPoint'. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe