[Haskell] How to define Y combinator in Haskell
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