[Haskell-cafe] Haskell Cheat Sheet?

[Jonathan Cast]

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