[Haskell] How to define Y combinator in Haskell

[David House]

On 15/09/06, Haihua Lin <HaihuaLin at 163.com> wrote:
> Is there a way to define it in Haskell?

Note that the function 'fix' (find the fixpoint of a function) already
exists in Haskell, and is equivalent to the Y combinator.

It's interesting that most (all?) fixed-point combinators don't
typecheck. The Y combinator, and by extension recursion in general,
has to be added as a constant to the language.

-- 
-David House, dmhouse at gmail.com