On Wed, 2007-09-26 at 17:09 -0500, Derek Elkins wrote: > On Wed, 2007-09-26 at 14:12 -0700, Jonathan Cast wrote: > > On Wed, 2007-09-26 at 11:43 -0700, Dan Weston wrote: > > > It seems no one liked idea #2. I still think fix is the wrong name for > > > this, maybe limit would be better. > > > > It calculates least fixed points. `fix' is as good a name as any. > > > > `limit' is terrible; the argument to fix, a -> a, is neither a sequence > > nor diagram nor net type, and hence its values don't have limits... > > > > jcc > > > > PS Yes, I know fix a = sup_{i=0}^inf f^i(bot). That sequence is rather > > different than the input function... > > Actually, f :: a -> a -is- a diagram and its limit -is- fix f.
In what way? I'm not disputing you, but I don't see how to interpret it as such. > That > said, limit is still a horrible name for it. fix isn't much better, and > Y is even worse. I'm not sure what an immediately intuitive name would > be, so might as well go with the historical one. recursive (at least for my usage). jcc _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe