September 22, 1999 | Perl and the Lambda Calculus | Slide #29 |

If we could find a fixed point of

`R`, we would be doneHow can we find fixed points?

``And then, a miracle occurs...''

There is a function,

`Y`, which computes fixed points.For any

*f*,`(Y`is a fixed point of*f*)*f*

fix = Yf(ffix) = fix

Or, more succinctly,

(f(Yf)) = (Yf)

!!!

Next | Copyright © 1999 M-J. Dominus |