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'.