Trevion writes:
> On 4/18/05, Lloyd Allison <[EMAIL PROTECTED]>
wrote:
> > Is it possible to define Y in Haskell (pref' H98) --
> > and get it to pass type checking?
>
> I believe that
>
> y f = f (y f)
>
> is the normal way to do it.
I've also seen this:
y f = g
where g = f g
--
David Menendez <[EMAIL PROTECTED]> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem> | of thermodynamics!"
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
