[Haskell-beginners] Re: fixpoint operator for ULC with specific reduction property

Heinrich Apfelmus wrote:

ben wrote:

...

I'm looking for a fixpoint operator Z for the untyped lambda calculus that has the property

Z g --> g (Z g)

for any g. [...]

I think the Turing fixed point combinator does exactly that. It's defined as

Theta = (λxf.f(xxf))(λxf.f(xxf)) [...]

Theta precisely meets my needs. Thanks a lot. ben