[Haskell] How to define Y combinator in Haskell

15 Sep 2006

      Hi, 

Writing

    yc = \f -> (\x -> f(x x)) (\x -> f(x x))

causes type error.  Is there a way to define it in Haskell? 

Thanks,
Haihua

Haihua Lin