18 Apr
2005
18 Apr
'05
5:08 a.m.
Trevion writes:
On 4/18/05, Lloyd Allison <Lloyd.Allison@infotech.monash.edu.au> 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 <zednenem@psualum.com> | "In this house, we obey the laws <http://www.eyrie.org/~zednenem> | of thermodynamics!"