[Haskell] How to define Y combinator in Haskell

David House dmhouse at gmail.com
Fri Sep 15 12:45:49 EDT 2006

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

More information about the Haskell mailing list